{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:05Z","timestamp":1760586365085,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,6,25]],"date-time":"2005-06-25T00:00:00Z","timestamp":1119657600000},"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":[[2005,6,25]]},"DOI":"10.1145\/1068009.1068188","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1061-1068","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["Search-based mutation testing for<i>Simulink<\/i>models"],"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":[[2005,6,25]]},"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","doi-asserted-by":"crossref","unstructured":"N. Tracey J. Clark K. Mander and J. McDermid. An Automated Framework for Structural Test-Data Generation. Int'l Conf. on Automated Software Engineering pages 285--288 1998. N. Tracey J. Clark K. Mander and J. McDermid. An Automated Framework for Structural Test-Data Generation. Int'l Conf. on Automated Software Engineering pages 285--288 1998.","DOI":"10.1109\/ASE.1998.732680"},{"key":"e_1_3_2_1_3_1","first-page":"1233","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference (GECCO","author":"Wegener J.","year":"2002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"R. DeMillo R Lipton and F. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer. IEEE computer 11: 34--41 1978. R. DeMillo R Lipton and F. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer. IEEE computer 11: 34--41 1978.","DOI":"10.1109\/C-M.1978.218136"},{"volume-title":"By John Wiley & Sons","year":"1997","author":"Voas Jeffrey","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","first-page":"625","volume-title":"Int'l Conf. on Software Engineering and its Applications","author":"Xanthakis S.","year":"1992"},{"key":"e_1_3_2_1_7_1","first-page":"300","volume-title":"The Automatic Generation of Test Data Using Genetic Algorithms. In Proceedings of the Fourth Software Quality Conference","author":"Watkins A.","year":"1995"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"issue":"5","key":"e_1_3_2_1_9_1","first-page":"299","volume":"11","author":"Jones B.","year":"1996","journal-title":"Automatic Structural Testing Using Genetic Algorithms. Software Engineering Journal"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271792"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9"},{"volume-title":"International Conference on Computer, Communication and Control Technologies (CCCT'03) and The 9th International Conference on Information Systems Analysis and Synthesis, (ISAS'03)","year":"2003","author":"Buehler O.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756582.1756738"},{"volume-title":"Proceedings of the 4th European Conference on Software Testing, Analysis & Review (EuroSTAR '1996)","year":"1996","author":"Wegener J.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829032"},{"key":"e_1_3_2_1_16_1","first-page":"435","volume-title":"Proceedings of the 3rd International Conference on Software Quality Management","author":"Jones B.","year":"1995"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_161"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756582.1756740"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"volume-title":"Blackwell Scientific Publications","year":"1993","author":"Ed C. R.","key":"e_1_3_2_1_20_1"},{"volume-title":"Fully Automatic Worst-Case Execution Time Analysis for Matlab\/Simulink Models. 14th Euromicro International Conference on Real-Time Systems, ECRTS'02","year":"2002","author":"Kirner R.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1699114"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240327"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756582.1756743"},{"key":"e_1_3_2_1_27_1","unstructured":"The MathWorks. Using Simulink - Model-Based and System-Based Design. The MathWorks. Inc. 2002. The MathWorks. Using Simulink - Model-Based and System-Based Design. The MathWorks. Inc. 2002."},{"key":"e_1_3_2_1_28_1","unstructured":"The MathWorks. http:\/\/www.mathworks.com\/products\/simulink The MathWorks. http:\/\/www.mathworks.com\/products\/simulink"},{"key":"e_1_3_2_1_29_1","unstructured":"Juan Carlos Cockburn. Matlab\/Simulink internal resource. http:\/\/www.eng.fsu.edu\/~cockburn\/matlab\/matlab_help.html Juan Carlos Cockburn. Matlab\/Simulink internal resource. http:\/\/www.eng.fsu.edu\/~cockburn\/matlab\/matlab_help.html"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199602)26:2%3C165::AID-SPE5%3E3.0.CO;2-K"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00154-9"}],"event":{"name":"GECCO05: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"],"location":"Washington DC USA","acronym":"GECCO05"},"container-title":["Proceedings of the 7th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1068009.1068188","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1068009.1068188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:00Z","timestamp":1750262880000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1068009.1068188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,25]]},"references-count":31,"alternative-id":["10.1145\/1068009.1068188","10.1145\/1068009"],"URL":"https:\/\/doi.org\/10.1145\/1068009.1068188","relation":{},"subject":[],"published":{"date-parts":[[2005,6,25]]},"assertion":[{"value":"2005-06-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}