Stem tobia$ (all stems)

3 papers:

ASE-2007-LedruDBVR #combinator #explosion #generative

Mastering combinatorial explosion with the tobias-2 test generator (YL, FD, LdB, SV, ER), pp. 535–536.

ASE-2006-LedruB #execution #generative #named #specification

Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.

FASE-2004-LedruBMB #combinator #testing

Filtering TOBIAS Combinatorial Test Suites (YL, LdB, OM, PB), pp. 281–294.