{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:43Z","timestamp":1750306603008,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T00:00:00Z","timestamp":1436572800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"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":[[2015,7,11]]},"DOI":"10.1145\/2739482.2768475","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"1185-1188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming"],"prefix":"10.1145","author":[{"given":"Daniil","family":"Chivilikhin","sequence":"first","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}]},{"given":"Ilya","family":"Ivanov","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}]}],"member":"320","published-online":{"date-parts":[[2015,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463372.2463440"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9222-z"},{"key":"e_1_3_2_1_6_1","volume-title":"Genetic Programming: On the Programming of Computers by Natural Selection","author":"Koza J.","year":"1992","unstructured":"J. Koza . Genetic Programming: On the Programming of Computers by Natural Selection . MIT Press , 1992 . Cambridge, MA, USA. J. Koza. Genetic Programming: On the Programming of Computers by Natural Selection. MIT Press, 1992. Cambridge, MA, USA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001858.2002085"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA.2011.166"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"e_1_3_2_1_11_1","volume-title":"Spea2: Improving the strength pareto evolutionary algorithm","author":"Zitzler E.","year":"2001","unstructured":"E. Zitzler , M. Laumanns , and L. Thiele . Spea2: Improving the strength pareto evolutionary algorithm , 2001 . E. Zitzler, M. Laumanns, and L. Thiele. Spea2: Improving the strength pareto evolutionary algorithm, 2001."}],"event":{"name":"GECCO '15: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Madrid Spain","acronym":"GECCO '15"},"container-title":["Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739482.2768475","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2739482.2768475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:51Z","timestamp":1750227411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739482.2768475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,11]]},"references-count":11,"alternative-id":["10.1145\/2739482.2768475","10.1145\/2739482"],"URL":"https:\/\/doi.org\/10.1145\/2739482.2768475","relation":{},"subject":[],"published":{"date-parts":[[2015,7,11]]},"assertion":[{"value":"2015-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}