Mastering combinatorial explosion with the tobias-2 test generator. - Yves Ledru; Frédéric Dadeau; Lydie du Bousquet; Sébastien Ville; Elodie Rose (ASE, 2007)