Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution.
Marcelo Medeiros ElerVinicius H. S. DurelliAndré Takeshi EndoPublished in: SEKE (2015)
Keyphrases
- test data generation
- symbolic execution
- test cases
- simulated annealing algorithm
- search based testing
- test generation
- static analysis
- software testing
- generation algorithm
- source code
- specification language
- fitness function
- particle swarm optimization
- simulated annealing
- genetic algorithm
- neural network
- data sets
- programming language
- object oriented