Test-case generation and bug-finding through symbolic execution.
Willem BesterCornelia P. InggsW. C. VisserPublished in: SAICSIT (2012)
Keyphrases
- test data generation
- symbolic execution
- test case generation
- test cases
- simulated annealing algorithm
- source code
- static analysis
- test generation
- software testing
- generation algorithm
- software systems
- object oriented systems
- neural network
- fitness function
- search algorithm
- test suite
- software maintenance
- case study
- database