Keyphrases
- symbolic execution
- test cases
- static analysis
- concurrent programs
- test generation
- test suite
- search based software testing
- software testing
- multi agent
- computer programs
- test data generation
- dynamic analysis
- program execution
- automatic programming
- data sets
- multiresolution
- data mining
- machine learning
- control program
- search engine
- programming environment
- social networks
- clustering algorithm
- similarity measure
- online learning