Goal-oriented test data generation for pointer programs.
Arnaud GotliebTristan DenmatBernard BotellaPublished in: Inf. Softw. Technol. (2007)
Keyphrases
- goal oriented
- test data generation
- symbolic execution
- test cases
- search based testing
- simulated annealing algorithm
- test case generation
- requirements analysis
- software testing
- generation algorithm
- test generation
- requirements engineering
- databases
- software engineering
- neural network
- java programs
- static analysis
- database systems
- artificial intelligence