Keyphrases
- test suite
- model checker
- test cases
- model checking
- test suite reduction
- regression testing
- formal verification
- test case generation
- mutation testing
- formal methods
- software testing
- test generation
- static analysis
- temporal logic
- java programs
- description language
- number of test cases
- tool support
- testing process
- artificial intelligence
- set of test cases
- case study
- training set
- databases