TY - CONF T1 - Search-based mutation testing for Simulink models JO - Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05 PY - 2005/01/01 AU - Zhan Y AU - Clark JA ED - DO - DOI: 10.1145/1068009.1068188 PB - ACM Press Y2 - 2024/12/22 ER -