Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution.

Mike Papadakis Nicos Malevris

Published in: AIAI Workshops (2009)

Keyphrases

test data generation
symbolic execution
test cases
simulated annealing algorithm
search based testing
software testing
test generation
genetic algorithm
specification language
static analysis
source code
generation algorithm
databases
object oriented
high level
fitness function
swarm intelligence
data flow