The state problem for test generation in Simulink.

Yuan Zhan John A. Clark

Published in: GECCO (2006)

Keyphrases

test generation
test cases
state space
software testing
cooperative
design automation
artificial intelligence
information systems
feature selection
feature space
control system
finite state machines