@inproceedings{Oh:2011fk,
	Acmid = {2001825},
	Address = {New York, NY, USA},
	Author = {Jungsup Oh and Mark Harman and Shin Yoo},
	Booktitle = {Proceedings of the 13th annual conference on Genetic and evolutionary computation},
	Doi = {http://doi.acm.org/10.1145/2001576.2001825},
	Isbn = {978-1-4503-0557-0},
	Keywords = {model-based testing, search-based software engineering},
	Location = {Dublin, Ireland},
	Numpages = {8},
	Pages = {1851--1858},
	Publisher = {ACM},
	Series = {GECCO '11},
	Title = {Transition coverage testing for {Simulink/Stateflow} models using messy genetic algorithms},
	Url = {http://doi.acm.org/10.1145/2001576.2001825},
	Year = {2011}}