Keyphrases
- test suite
- test suite reduction
- test cases
- regression testing
- test case generation
- software testing
- mutation testing
- static analysis
- model checker
- number of test cases
- java programs
- web service composition
- test sequences
- tool support
- testing process
- code coverage
- artificial intelligence
- software maintenance
- open source
- databases
- relational databases
- feature extraction
- high level