Keyphrases
- test cases
- symbolic execution
- test data
- search based software testing
- concurrent programs
- neural network
- static analysis
- test generation
- program execution
- test set
- hierarchical model
- learning algorithm
- information retrieval
- website
- similarity measure
- digital libraries
- artificial intelligence
- hierarchical structure
- software testing
- test data generation
- real world