Mastering combinatorial explosion with the Tobias-2 test generator

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 535-536

  Ledru, Yves ^a   Dadeau, Frédéric ^a   Du Bousquet, Lydie ^a   Ville, Sébastien ^a   Rose, Elodie ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

combinatorial testing; test suite reduction; tobias

Indexed keywords

COMBINATORIAL EXPLOSION; COMBINATORIAL TESTING; EFFICIENT IMPLEMENTATION; FILTER TEST; TEST CASE; TEST SELECTION; TEST SUITE REDUCTION;

COMPUTER SOFTWARE;

TESTING;

EID: 56549099874     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321731     Document Type: Conference Paper

References (4)

1. L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, and J.-L. Lanet. Case study in JML-based software validation. In ASE 2004. IEEE CS Press, 2004.
2. S. Dupuy-Chessa, L. du Bousquet, J. Bouchet, and Y. Ledru. Test of the ICARE platform fusion mechanism. In DSVIS'05, volume 3941 of LNCS. Springer, 2006.
3. Y. Ledru, L. du Bousquet, O. Maury, and P. Bontron. Filtering Tobias combinatorial test suites. In FASE 2004, volume 2984 of LNCS. Springer, 2004.
4. O. Maury, Y. Ledru, P. Bontron, and L. du Bousquet. Using Tobias for the automatic generation of VDM test cases. In 3rd VDM Workshop (in conjunction with FME'02), 2002.