{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:23Z","timestamp":1750307423873,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T00:00:00Z","timestamp":1278460800000},"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":[[2010,7,7]]},"DOI":"10.1145\/1830483.1830736","type":"proceedings-article","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T22:03:17Z","timestamp":1278885797000},"page":"1381-1388","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Superstate identification for state machines using search-based clustering"],"prefix":"10.1145","author":[{"given":"Mathew","family":"Hall","sequence":"first","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom"}]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom"}]},{"given":"Neil","family":"Walkinshaw","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2010,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2009.5306309"},{"key":"e_1_3_2_1_3_1","volume-title":"Uml notation and ilogix rhapsody tool. Seminar on Tool-supported modeling of Tamagotchi","author":"Becker C.","year":"1998","unstructured":"C. Becker , S. Glomb , and M. Graf . Uml notation and ilogix rhapsody tool. Seminar on Tool-supported modeling of Tamagotchi , University of Kaiserslautern , 1998 . C. Becker, S. Glomb, and M. Graf. Uml notation and ilogix rhapsody tool. Seminar on Tool-supported modeling of Tamagotchi, University of Kaiserslautern, 1998."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.006"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164585"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.43044"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143997.1144314"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068184"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267926"},{"key":"e_1_3_2_1_13_1","first-page":"707","article-title":"Binary codes capable of correcting deletions, insertions and reversals","volume":"8","author":"Levenshtein V. I.","year":"1966","unstructured":"V. I. Levenshtein . Binary codes capable of correcting deletions, insertions and reversals . Soviet Physics-Doklady No 8 , 10: 707 -- 710 , 1966 . V. I. Levenshtein. Binary codes capable of correcting deletions, insertions and reversals. Soviet Physics-Doklady No 8, 10:707--710, 1966.","journal-title":"Soviet Physics-Doklady No"},{"issue":"6","key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1360\/02yf9040","article-title":"Clustering of behavioral phases in FSMs and its applications to VLSI test","volume":"45","author":"Li H.","year":"2002","unstructured":"H. Li , Y. Min , and Z. Li . Clustering of behavioral phases in FSMs and its applications to VLSI test . Science in China Series F: Information Sciences 45 ( 6 ), 462 -- 478 . ( 2002 ), 2002. H. Li, Y. Min, and Z. Li. Clustering of behavioral phases in FSMs and its applications to VLSI test. Science in China Series F: Information Sciences 45(6), 462--478. (2002), 2002.","journal-title":"Science in China Series F: Information Sciences"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.31"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2007.41"},{"key":"e_1_3_2_1_18_1","volume-title":"Using finite automata to represent mental models. Master's thesis","author":"Romera M. E.","year":"2000","unstructured":"M. E. Romera . Using finite automata to represent mental models. Master's thesis , San Jose State University , 2000 . M. E. Romera. Using finite automata to represent mental models. Master's thesis, San Jose State University, 2000."},{"key":"e_1_3_2_1_19_1","unstructured":"N. Walkinshaw. Statechum project website. N. Walkinshaw. Statechum project website."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2007.45"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_20"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"}],"event":{"name":"GECCO '10: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Portland Oregon USA","acronym":"GECCO '10"},"container-title":["Proceedings of the 12th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1830483.1830736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1830483.1830736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:46Z","timestamp":1750246786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1830483.1830736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,7]]},"references-count":21,"alternative-id":["10.1145\/1830483.1830736","10.1145\/1830483"],"URL":"https:\/\/doi.org\/10.1145\/1830483.1830736","relation":{},"subject":[],"published":{"date-parts":[[2010,7,7]]},"assertion":[{"value":"2010-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}