Using test case reduction and prioritization to improve symbolic execution.
Chaoqiang ZhangAlex GroceMohammad Amin AlipourPublished in: ISSTA (2014)
Keyphrases
- test cases
- symbolic execution
- test data generation
- test generation
- regression testing
- software testing
- test suite
- test case generation
- test data
- test case selection
- test sequences
- test set
- testing process
- set of test cases
- database
- software maintenance
- simulated annealing algorithm
- simulated annealing
- training data
- artificial intelligence
- data sets