Keyphrases
- empirical studies
- test cases
- real world data sets
- empirical analysis
- symbolic execution
- search based software testing
- program execution
- computer programs
- theoretical analysis
- experimental design
- hidden markov models
- uci datasets
- set of test cases
- systematic review
- database
- high level
- static analysis
- programming environment
- control program
- theoretical issues
- concurrent programs
- software testing
- testing process
- computer science
- image sequences
- search engine
- data sets