The state problem for test generation in Simulink.

Yuan Zhan, John A. Clark

Browse the full GECCO paper archive.