Keyphrases
- black box
- test suite
- test cases
- regression testing
- test suite reduction
- software testing
- white box testing
- white box
- set of test cases
- test data
- black boxes
- number of test cases
- integration testing
- test data generation
- test case generation
- test sequences
- hybrid systems
- static analysis
- test generation
- model checker
- testing process
- object oriented
- java programs
- quality metrics
- code coverage
- mutation testing
- test set
- image quality
- similarity measure
- database
- machine learning