{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:40Z","timestamp":1750306960902,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,6]],"date-time":"2013-07-06T00:00:00Z","timestamp":1373068800000},"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":[[2013,7,6]]},"DOI":"10.1145\/2464576.2464677","type":"proceedings-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T13:26:51Z","timestamp":1374672411000},"page":"211-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated test generation for multi-state systems"],"prefix":"10.1145","author":[{"given":"Pedro","family":"Reales Mateo","sequence":"first","affiliation":[{"name":"University of Castilla-La Mancha, Ciudad Real, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Macario","family":"Polo Usaola","sequence":"additional","affiliation":[{"name":"University of Castilla-La Mancha, Ciudad Real, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1355340"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405344"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.009"},{"key":"e_1_3_2_1_4_1","first-page":"72","volume-title":"COMPSAC 2004. Proceedings of the 28th Annual International","volume":"1","author":"Shiba T.","year":"2004","unstructured":"T. Shiba , T. Tsuchiya , and T. Kikuno , \" Using artificial life techniques to generate test cases for combinatorial testing,\" in Computer Software and Applications Conference, 2004 . COMPSAC 2004. Proceedings of the 28th Annual International , 2004 , pp. 72 -- 77 vol. 1 . T. Shiba, T. Tsuchiya, and T. Kikuno, \"Using artificial life techniques to generate test cases for combinatorial testing,\" in Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International, 2004, pp. 72--77 vol. 1."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2005.30"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831728"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.39"}],"event":{"name":"GECCO '13: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Amsterdam The Netherlands","acronym":"GECCO '13"},"container-title":["Proceedings of the 15th annual conference companion on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2464576.2464677","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2464576.2464677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:12Z","timestamp":1750235952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2464576.2464677"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,6]]},"references-count":8,"alternative-id":["10.1145\/2464576.2464677","10.1145\/2464576"],"URL":"https:\/\/doi.org\/10.1145\/2464576.2464677","relation":{},"subject":[],"published":{"date-parts":[[2013,7,6]]},"assertion":[{"value":"2013-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}