Search-based test data generation from stateflow statecharts.

Andreas Windisch

Published in: GECCO (2010)

Keyphrases

test data generation
test cases
search based testing
symbolic execution
simulated annealing algorithm
search algorithm
test generation
software testing
search space
generation algorithm
test case generation
data sets
simulated annealing
database
fitness function
case study
artificial intelligence
databases