Constraint-based test data generation in the presence of stack-directed pointers.

Arnaud Gotlieb Tristan Denmat Bernard Botella

Published in: ASE (2005)

Keyphrases

test data generation
search based testing
test cases
simulated annealing algorithm
symbolic execution
test case generation
software testing
generation algorithm
database
learning algorithm
machine learning
objective function
multi agent
simulated annealing
particle swarm optimization