Test-case generator based on the model-checker
#2 Updated by Anonymous over 8 years ago
- Assignee changed from Anonymous to Anonymous
- Target version deleted (
Phoenx 2.1 RC3)
I've implemented the basic functionality for States-coverage ... it is available in the class: StatesCoverageTestCaseGenerator
The JUnit test for it is in: TestCasesGeneratorTest
The next steps are to integrate the generator in the testing UI and to save the tests-suite.