Automated test generation for multi-state systems.

Pedro Reales Mateo Macario Polo Usaola

Published in: GECCO (Companion) (2013)

Keyphrases

test generation
design automation
finite state machines
database systems
databases
high quality
building blocks
visual information
computer aided design