Combining symbolic execution and search-based testing for programs with complex heap inputs.
Pietro BraioneGiovanni DenaroAndrea MattavelliMauro PezzèPublished in: ISSTA (2017)
Keyphrases
- symbolic execution
- test data generation
- search based testing
- test cases
- simulated annealing algorithm
- test generation
- static analysis
- software testing
- artificial intelligence
- specification language
- simulated annealing
- generation algorithm
- data flow
- neural network
- test data
- fitness function
- evolutionary algorithm
- multi agent systems
- learning algorithm