@inproceedings{inproceedings, title  = {{The state problem for test generation in Simulink}},

 publisher = {{ACM}},

 url = {{https://doi.org/10.1145/1143997.1144319 }},

 year = {{2006}},

 month = {{7}},

 author = {{Zhan Y and Clark JA}},

 doi = {{10.1145/1143997.1144319}},

 journal = {{Proceedings of the 8th annual conference on Genetic and evolutionary computation}},

 pages = {{1941-1948}},

 note = {{Accessed on 2025/12/06}}}