Keyphrases
- test suite
- test cases
- test suite reduction
- software testing
- regression testing
- mutation testing
- semi automated
- test case generation
- testing process
- control system
- reinforcement learning
- model checker
- java programs
- test data
- data sets
- test generation
- human operators
- static analysis
- adaptive control
- number of test cases