{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:39:44Z","timestamp":1725518384719},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/cec.2011.5949677","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:51:24Z","timestamp":1311195084000},"page":"624-631","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic synthesis of program invariants using genetic programming"],"prefix":"10.1109","author":[{"given":"Luigi","family":"Cardamone","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Mocci","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/4235.873235"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/B:GENP.0000030196.55525.f7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2006.884044"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/125714"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1388969.1388979"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1143997.1144317"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581377"},{"journal-title":"Genetic Programming On the Programming of Computers by Means of Natural Selection","year":"1992","author":"koza","key":"ref3"},{"key":"ref6","first-page":"183","article-title":"A representation for the adaptive generation of simple sequential programs","author":"cramer","year":"0","journal-title":"Proceedings of the 1st International Conference on Genetic Algorithms"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/cp:19971199"},{"key":"ref7","article-title":"Genetic programming an introductory tutorial and a survey of techniques and applications","author":"poli","year":"2007","journal-title":"Tech Rep"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref9","first-page":"495","article-title":"Applying genetic programming to evolve behavior primitives and arbitrators for mobile robots","author":"po lee","year":"0","journal-title":"Proc 4th IEEE Int Conf on Evolutionary Computation"}],"event":{"name":"2011 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2011,6,5]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2011,6,8]]}},"container-title":["2011 IEEE Congress of Evolutionary Computation (CEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5936494\/5949581\/05949677.pdf?arnumber=5949677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:10:54Z","timestamp":1490098254000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5949677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cec.2011.5949677","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}