Keyphrases
- test cases
- symbolic execution
- search based software testing
- neural network
- concurrent programs
- test suite
- machine learning
- software testing
- computer science
- test generation
- program execution
- set of test cases
- real time
- high level
- database systems
- similarity measure
- metadata
- computer programs
- knowledge base
- static analysis
- automatic programming
- data mining