"Mastering combinatorial explosion with the tobias-2 test generator."

Yves Ledru et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics