Andreas Windisch. Search-based test data generation from stateflow statecharts. In Martin Pelikan, Jürgen Branke, editors, Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010. pages 1349-1356, ACM, 2010. [doi]
Abstract is missing.