Yves Ledru Frédéric Dadeau Lydie du Bousquet Sébastien Ville Elodie Rose Mastering combinatorial explosion with the tobias-2 test generator. 535-536 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321731 db/conf/kbse/ase2007.html#LedruDBVR07