Test-data generation for control coverage by proof.

Ana Cavalcanti Steve King Colin O'Halloran Jim Woodcock

Published in: Formal Aspects Comput. (2014)

Keyphrases

test data generation
simulated annealing algorithm
test cases
search based testing
software testing
symbolic execution
control system
data sets
test case generation
database
databases
decision trees
data model
metaheuristic
fitness function
generation algorithm