Jungsup Oh, Mark Harman, Shin Yoo. Transition coverage testing for simulink/stateflow models using messy genetic algorithms. In Natalio Krasnogor, Pier Luca Lanzi, editors, 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011. pages 1851-1858, ACM, 2011. [doi]
Abstract is missing.