Evolutionary testing of state-based programs.

Phil McMinn Mike Holcombe

Published in: GECCO (2005)

Keyphrases

state space
test cases
genetic algorithm
computer programs
symbolic execution
database
real time
evolutionary algorithm
software development
test generation