GA-based and design by contract approach to test generation for EFSMs.

Andrey Zakonov Oleg A. Stepanov Anatoly Shalyto

Published in: EWDTS (2010)

Keyphrases

test generation
design automation
design procedure
design process
multi agent systems
genetic algorithm ga
case study
test sequences
complex systems
test cases
design methodology
monitoring system
databases
source code
supply chain
high level
machine learning
real world