Transition coverage testing for simulink/stateflow models using messy genetic algorithms.

Jungsup Oh, Mark Harman, Shin Yoo

Browse the full GECCO paper archive.