Keyphrases
- randomly generated
- test cases
- np complete
- test data
- regression testing
- test sequences
- test suite
- decision trees
- test generation
- boolean functions
- software testing
- test set
- test data generation
- branch and bound algorithm
- black box
- test case generation
- test suite reduction
- test case selection
- object oriented
- testing process
- phase transition
- training set
- feature extraction
- feature selection
- machine learning
- constraint satisfaction
- constraint satisfaction problems
- special case
- constraint problems
- feature space
- set of test cases
- data sets