Keyphrases
- test cases
- symbolic execution
- search based software testing
- image processing
- test suite
- computer programs
- automatic programming
- test generation
- software testing
- test data
- machine learning
- database
- object oriented
- hidden markov models
- programming environment
- dynamic analysis
- artificial neural networks
- information technology
- metadata
- concurrent programs