Symbolic Execution for Dynamic, Evolutionary Test Data Generation.

Anastasis A. Sofokleous Andreas S. Andreou Antonis Kourras

Published in: ICEIS (1) (2009)

Keyphrases

test data generation
symbolic execution
test cases
search based testing
simulated annealing algorithm
software testing
test generation
static analysis
generation algorithm
genetic algorithm
source code
specification language
simulated annealing
fitness function
data sets
case study