Test Data Generation of Bytecode by CLP Partial Evaluation.
Elvira AlbertMiguel Gómez-ZamalloaGermán PueblaPublished in: LOPSTR (2008)
Keyphrases
- partial evaluation
- test data generation
- explanation based generalization
- test cases
- simulated annealing algorithm
- search based testing
- symbolic execution
- source code
- software testing
- generation algorithm
- simulated annealing
- software systems
- neural network
- fitness function
- data sets
- static analysis
- domain theory
- higher order
- evolutionary algorithm