Unit Test Data Generation for C Using Rule-Directed Symbolic Execution.
Mingzhe ZhangYunzhan GongYawen WangDahai JinPublished in: J. Comput. Sci. Technol. (2019)
Keyphrases
- test data generation
- symbolic execution
- test cases
- search based testing
- simulated annealing algorithm
- software testing
- generation algorithm
- test generation
- static analysis
- neural network
- fitness function
- specification language
- data flow
- quality control
- database
- test set
- source code
- simulated annealing
- search algorithm
- training data
- high level
- artificial intelligence
- databases