TY - JOUR T1 - A search-based framework for automatic testing of MATLAB/Simulink models JO - Journal of Systems and Software PY - 2008/02/01 AU - Zhan Y AU - Clark JA ED - DO - DOI: 10.1016/j.jss.2007.05.039 PB - Elsevier BV VL - 81 IS - 2 SP - 262 EP - 285 Y2 - 2024/12/22 ER -