TY - CONF T1 - The state problem for test generation in Simulink JO - Proceedings of the 8th annual conference on Genetic and evolutionary computation - GECCO '06 PY - 2006/01/01 AU - Zhan Y AU - Clark JA ED - DO - DOI: 10.1145/1143997.1144319 PB - ACM Press Y2 - 2024/12/22 ER -