Lazy symbolic execution for test data generation.
Mengxiang LinYin-li ChenKai YuGuo-shi WuPublished in: IET Softw. (2011)
Keyphrases
- test data generation
- symbolic execution
- test cases
- simulated annealing algorithm
- search based testing
- software testing
- generation algorithm
- test generation
- simulated annealing
- fitness function
- neural network
- static analysis
- artificial neural networks
- test suite
- evolutionary algorithm
- search algorithm
- database systems
- data sets