Keyphrases
- software testing
- test generation
- test cases
- model based testing
- software development
- software reliability
- software systems
- quality assurance
- computer society
- test case generation
- software engineering
- test data generation
- fault localization
- white box testing
- regression testing
- control flow
- model checking
- testing process
- international workshop
- test suite
- international conference
- software design
- code coverage
- unit testing
- genetic algorithm