Automatic State-Based Test Generation Using Genetic Algorithms.

Raluca Lefticaru Florentin Ipate

Published in: SYNASC (2007)

Keyphrases

test generation
test cases
genetic algorithm
static analysis
symbolic execution
state space
design automation
artificial intelligence
multi agent
software engineering
software development
pattern matching