Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Directed random reduction of combinatorial test suites
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Mastering combinatorial explosion with the tobias-2 test generator
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Connecting UML and VDM++ with Open Tool Support
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
Journal of Automated Reasoning
Synthesizing method sequences for high-coverage testing
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Test of the ICARE platform fusion mechanism
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Model-Based filtering of combinatorial test suites
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
This paper describes the Tobias tool. Tobias is a combinatorial test generator which unfolds a test pattern provided by the test engineer, and performs various combinations and repetitions of test parameters and methods. Tobias is available on-line at tobias.liglab.fr . This website features recent improvements of the tool including a new input language, a traceability mechanism, and the definition of various ``selectors'' which achieve test suite reduction.