@book{book, title = {{Automatic test-data generation for testing simulink models}}, publisher = {{Department of Computer Science, University of York}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{Zhan Y and Clark JA}}, note = {{Accessed on 2025/07/04}}}