Keyphrases
- software testing
- software development
- test cases
- test generation
- software reliability
- quality assurance
- model based testing
- knowledge discovery and data mining
- software engineering
- model checking
- test case generation
- software systems
- fault localization
- neural network
- control flow
- test suite
- formal specification
- database systems
- testing process
- genetic algorithm
- integration testing
- data sets
- program slicing
- white box testing