{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T01:20:35Z","timestamp":1773451235014,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,12]],"date-time":"2014-07-12T00:00:00Z","timestamp":1405123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002261","name":"Russian Foundation for Basic Research","doi-asserted-by":"publisher","award":["14-07-31337"],"award-info":[{"award-number":["14-07-31337"]}],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Government of Russian Federation","award":["074-U01"],"award-info":[{"award-number":["074-U01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,12]]},"DOI":"10.1145\/2598394.2598446","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"67-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Inferring automata-based programs from specification with mutation-based ant colony optimization"],"prefix":"10.1145","author":[{"given":"Daniil","family":"Chivilikhin","sequence":"first","affiliation":[{"name":"University ITMO, Saint Petersburg, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Ulyantsev","sequence":"additional","affiliation":[{"name":"University ITMO, Saint Petersburg, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1887\/0750308958"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463372.2463440"},{"key":"e_1_3_2_2_3_1","volume-title":"Model checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model checking . MIT press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT press, 1999."},{"key":"e_1_3_2_2_4_1","first-page":"707","volume":"10","author":"Levenshtein V.","year":"1966","unstructured":"V. Levenshtein . Binary Codes Capable of Correcting Deletions , Insertions and Reversals. Soviet Physics Doklady , 10 : 707 , 1966 . V. Levenshtein. Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady, 10:707, 1966.","journal-title":"Insertions and Reversals. Soviet Physics Doklady"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012392927006"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001858.2002085"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"}],"event":{"name":"GECCO '14: Genetic and Evolutionary Computation Conference","location":"Vancouver BC Canada","acronym":"GECCO '14","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2598394.2598446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2598394.2598446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:56Z","timestamp":1750229756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2598394.2598446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,12]]},"references-count":7,"alternative-id":["10.1145\/2598394.2598446","10.1145\/2598394"],"URL":"https:\/\/doi.org\/10.1145\/2598394.2598446","relation":{},"subject":[],"published":{"date-parts":[[2014,7,12]]},"assertion":[{"value":"2014-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}