@inproceedings{inproceedings, title = {{The state problem for test generation in Simulink}}, publisher = {{ACM Press}}, url = {{}}, year = {{2006}}, month = {{1}}, author = {{Zhan Y and Clark JA}}, doi = {{10.1145/1143997.1144319}}, journal = {{Proceedings of the 8th annual conference on Genetic and evolutionary computation - GECCO '06}}, note = {{Accessed on 2024/12/22}}}