Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Jungsup Oh, Mark Harman, Shin Yoo · 2011
This paper introduces a messy-GA for transition coverage of Simulink/StateFlow models. We introduce a tool that implements our approach and evaluate it on three benchmark embedded system Simulink models. Our messy-GA is able to achieve statistically significantly better coverage when compared to both random search and to a commercial tool for Simulink/StateFlow model Testing.