{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:12Z","timestamp":1750308132539,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,8]],"date-time":"2006-07-08T00:00:00Z","timestamp":1152316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,8]]},"DOI":"10.1145\/1143997.1144319","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"1941-1948","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["The state problem for test generation in Simulink"],"prefix":"10.1145","author":[{"given":"Yuan","family":"Zhan","sequence":"first","affiliation":[{"name":"University of York, York, UK"}]},{"given":"John A.","family":"Clark","sequence":"additional","affiliation":[{"name":"University of York, York, UK"}]}],"member":"320","published-online":{"date-parts":[[2006,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_2_1","first-page":"285","volume-title":"Softw. Eng.","author":"Tracey N.","year":"1998","unstructured":"N. Tracey , J. Clark , K. Mander , and J. McDermid . An Automated Framework for Structural Test-Data Generation. Int'l Conf. on Auto . Softw. Eng. , pp 285 -- 288 , 1998 . N. Tracey, J. Clark, K. Mander, and J. McDermid. An Automated Framework for Structural Test-Data Generation. Int'l Conf. on Auto. Softw. Eng., pp 285--288, 1998."},{"key":"e_1_3_2_1_3_1","first-page":"1233","volume-title":"GECCO","author":"Wegener J.","year":"2002","unstructured":"J. Wegener , K. Buhr , and H. Pohlheim . Automatic Test Data Generation for Structural Testing of Embedded Software Systems by Evolutionary Testing . GECCO 2002 , pp 1233 -- 1240 . J. Wegener, K. Buhr, and H. Pohlheim. Automatic Test Data Generation for Structural Testing of Embedded Software Systems by Evolutionary Testing. GECCO 2002, pp 1233--1240."},{"key":"e_1_3_2_1_4_1","first-page":"625","volume-title":"Int'l Conf. on Softw. Engineering and its Applications","author":"Xanthakis S.","year":"1992","unstructured":"S. Xanthakis , C. Ellis , C. Skourlas , A. Le Gal , S. Katsikas and K. Karapoulios . Application of Genetic Algorithms to Software Testing . In Int'l Conf. on Softw. Engineering and its Applications , pp 625 -- 636 , 1992 . S. Xanthakis, C. Ellis, C. Skourlas, A. Le Gal, S. Katsikas and K. Karapoulios. Application of Genetic Algorithms to Software Testing. In Int'l Conf. on Softw. Engineering and its Applications, pp 625--636, 1992."},{"issue":"5","key":"e_1_3_2_1_5_1","first-page":"299","volume":"11","author":"Jones B.","year":"1996","unstructured":"B. Jones , H. Sthamer , and D. Eyres . Automatic Structural Testing Using Genetic Algorithms. Software Engineering Journal , 11 ( 5 ): 299 -- 306 , 1996 . B. Jones, H. Sthamer, and D. Eyres. Automatic Structural Testing Using Genetic Algorithms. Software Engineering Journal, 11(5): 299--306, 1996.","journal-title":"Automatic Structural Testing Using Genetic Algorithms. Software Engineering Journal"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271792"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200001)30:1%3C61::AID-SPE292%3E3.0.CO;2-9"},{"key":"e_1_3_2_1_8_1","volume-title":"Int'l Conf. on Computer, Communication and Control Technologies (CCCT'03) and The 9th Int'l Conf. on Information Systems Analysis and Synthesis, (ISAS'03)","author":"Buehler O.","year":"2003","unstructured":"O. Buehler and J. Wegener . Evolutionary Functional Testing of an Automated Parking System . In Int'l Conf. on Computer, Communication and Control Technologies (CCCT'03) and The 9th Int'l Conf. on Information Systems Analysis and Synthesis, (ISAS'03) , 2003 . O. Buehler and J. Wegener. Evolutionary Functional Testing of an Automated Parking System. In Int'l Conf. on Computer, Communication and Control Technologies (CCCT'03) and The 9th Int'l Conf. on Information Systems Analysis and Synthesis, (ISAS'03), 2003."},{"key":"e_1_3_2_1_9_1","first-page":"2428","volume-title":"Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms. GECCO","author":"Baresel A.","year":"2003","unstructured":"A. Baresel , H. Pohlheim , and S. Sadeghipour . Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms. GECCO 2003 , pp 2428 -- 2441 . A. Baresel, H. Pohlheim, and S. Sadeghipour. Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms. GECCO 2003, pp 2428--2441."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the 4th European Conference on Software Testing, Analysis & Review (EuroSTAR '1996)","author":"Wegener J.","year":"1996","unstructured":"J. Wegener , K. Grimm , M. Grochtmann , H. Sthamer and B. Jones . Systematic Testing of Real-Time Systems . Proc. of the 4th European Conference on Software Testing, Analysis & Review (EuroSTAR '1996) , Dec. 1996 . J. Wegener, K. Grimm, M. Grochtmann, H. Sthamer and B. Jones. Systematic Testing of Real-Time Systems. Proc. of the 4th European Conference on Software Testing, Analysis & Review (EuroSTAR '1996), Dec. 1996."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829032"},{"key":"e_1_3_2_1_12_1","first-page":"435","volume-title":"The Automatic Generation of Software Test Data Sets Using Adaptive Search Techniques. The 3rd Int'l Conf. on Software Quality Management","author":"Jones B.","year":"1995","unstructured":"B. Jones , H. Sthamer , X. Yang , and D. Eyres . The Automatic Generation of Software Test Data Sets Using Adaptive Search Techniques. The 3rd Int'l Conf. on Software Quality Management , pp 435 -- 444 , 1995 . B. Jones, H. Sthamer, X. Yang, and D. Eyres. The Automatic Generation of Software Test Data Sets Using Adaptive Search Techniques. The 3rd Int'l Conf. on Software Quality Management, pp 435--444, 1995."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_161"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756582.1756740"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/166648"},{"key":"e_1_3_2_1_17_1","volume-title":"Fully Automatic Worst-Case Execution Time Analysis for Matlab\/Simulink Models. Euromicro Conference on Real-Time Systems","author":"Kirner R.","year":"2002","unstructured":"R. Kirner , R. Lang , G. Freiberger and P. Puschner . Fully Automatic Worst-Case Execution Time Analysis for Matlab\/Simulink Models. Euromicro Conference on Real-Time Systems , 2002 . R. Kirner, R. Lang, G. Freiberger and P. Puschner. Fully Automatic Worst-Case Execution Time Analysis for Matlab\/Simulink Models. Euromicro Conference on Real-Time Systems, 2002."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_20_1","volume-title":"Conf. on Automated Software Engineering","author":"D\u00edaz Eugenia","year":"2003","unstructured":"Eugenia D\u00edaz , Javier Tuya , Raquel Blanco . Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. In 18th IEEE Int'l . Conf. on Automated Software Engineering . Montreal, Canada , Oct. 2003 . Eugenia D\u00edaz, Javier Tuya, Raquel Blanco. Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. In 18th IEEE Int'l. Conf. on Automated Software Engineering. Montreal, Canada, Oct. 2003."},{"key":"e_1_3_2_1_21_1","unstructured":"The MathWorks. http:\/\/www.mathworks.com\/products\/simulink.  The MathWorks. http:\/\/www.mathworks.com\/products\/simulink."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068188"},{"key":"e_1_3_2_1_23_1","first-page":"1359","volume-title":"GECCO","author":"Harman M.","year":"2002","unstructured":"M. Harman , L. Hu , R. Hierons , A. Baresel , and H. Sthamer . Improving Evolutionary Testing by Flag Removal . GECCO 2002 , pp 1359 -- 1366 . M. Harman, L. Hu, R. Hierons, A. Baresel, and H. Sthamer. Improving Evolutionary Testing by Flag Removal. GECCO 2002, pp 1359--1366."},{"key":"e_1_3_2_1_24_1","first-page":"2488","volume-title":"The State Problem for Evolutionary Testing. GECCO","author":"McMinn P.","year":"2003","unstructured":"P. McMinn , and M. Holcombe . The State Problem for Evolutionary Testing. GECCO 2003 , pp 2488 -- 2500 . P. McMinn, and M. Holcombe. The State Problem for Evolutionary Testing. GECCO 2003, pp 2488--2500."},{"key":"e_1_3_2_1_25_1","volume-title":"University of Sheffield","author":"McMinn P.","year":"2005","unstructured":"P. McMinn . Evolutionary Search for Test Data in the Presence of State Behaviour. PhD Thesis , University of Sheffield , January 2005 . P. McMinn. Evolutionary Search for Test Data in the Presence of State Behaviour. PhD Thesis, University of Sheffield, January 2005."},{"key":"e_1_3_2_1_26_1","unstructured":"Reactive Systems Inc. Http:\/\/www.reactive-systems.com\/.  Reactive Systems Inc. Http:\/\/www.reactive-systems.com\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2%3C167::AID-SPE225%3E3.3.CO;2-M"}],"event":{"name":"GECCO06: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"],"location":"Seattle Washington USA","acronym":"GECCO06"},"container-title":["Proceedings of the 8th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1143997.1144319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1143997.1144319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:30Z","timestamp":1750262910000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1143997.1144319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,8]]},"references-count":29,"alternative-id":["10.1145\/1143997.1144319","10.1145\/1143997"],"URL":"https:\/\/doi.org\/10.1145\/1143997.1144319","relation":{},"subject":[],"published":{"date-parts":[[2006,7,8]]},"assertion":[{"value":"2006-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}