SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage
- 1 January 2012
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- An integrated test generation tool for enhanced coverage of Simulink/Stateflow modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Randomized directed testing (REDIRECT) for Simulink/Stateflow modelsPublished by Association for Computing Machinery (ACM) ,2008