Keyphrases
- test cases
- search based software testing
- symbolic execution
- decision making
- concurrent programs
- program execution
- databases
- information systems
- test suite
- information technology
- information retrieval
- test generation
- decision trees
- set of test cases
- logic programs
- human resources
- evolutionary algorithm
- software testing
- static analysis
- neural network
- website