{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T10:37:45Z","timestamp":1784284665312,"version":"3.55.0"},"reference-count":219,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC Project","doi-asserted-by":"publisher","award":["DAASE EP\/J017515\/1"],"award-info":[{"award-number":["DAASE EP\/J017515\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC Project","doi-asserted-by":"publisher","award":["GISMOE EP\/I033688\/1"],"award-info":[{"award-number":["GISMOE EP\/I033688\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DAASE Project","award":["EP\/J017515\/1"],"award-info":[{"award-number":["EP\/J017515\/1"]}]},{"name":"FAIME Project","award":["EP\/N002849\/1"],"award-info":[{"award-number":["EP\/N002849\/1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Evol. Computat."],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/tevc.2017.2693219","type":"journal-article","created":{"date-parts":[[2017,4,25]],"date-time":"2017-04-25T18:42:55Z","timestamp":1493145775000},"page":"415-432","source":"Crossref","is-referenced-by-count":176,"title":["Genetic Improvement of Software: A Comprehensive Survey"],"prefix":"10.1109","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7833-6044","authenticated-orcid":false,"given":"Justyna","family":"Petke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saemundur O.","family":"Haraldsson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William B.","family":"Langdon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David R.","family":"White","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John R.","family":"Woodward","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1186\/s13040-014-0034-0"},{"key":"ref172","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768420"},{"key":"ref171","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768421"},{"key":"ref174","doi-asserted-by":"crossref","first-page":"1327","DOI":"10.1145\/2739480.2754752","article-title":"Reducing energy consumption using genetic improvement","author":"bruce","year":"2015","journal-title":"Proc Genet Evol Comput Conf (GECCO)"},{"key":"ref173","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541980"},{"key":"ref176","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768428"},{"key":"ref175","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768415"},{"key":"ref178","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768424"},{"key":"ref177","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768422"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598244"},{"key":"ref169","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1145\/2739480.2754652","article-title":"Improving CUDA DNA analysis software with genetic programming","author":"langdon","year":"2015","journal-title":"Proc Genet Evol Comput Conf (GECCO)"},{"key":"ref39","author":"banzhaf","year":"1998","journal-title":"Genetic Programming An Introduction On the Automatic Evolution of Computer Programs and its Applications"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1162\/ARTL_a_00145"},{"key":"ref33","first-page":"183","article-title":"A representation for the adaptive generation of simple sequential programs","author":"cramer","year":"1985","journal-title":"Proc Intl Conf on Genetic Algorithms"},{"key":"ref32","first-page":"183","article-title":"A representation for the adaptive generation of simple sequential programs","author":"cramer","year":"1985","journal-title":"Proc Intl Conf on Genetic Algorithms"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1108\/eb005587"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","article-title":"Computing machinery and intelligence","volume":"49","author":"turing","year":"1950","journal-title":"Mind"},{"key":"ref37","author":"koza","year":"1992","journal-title":"Genetic Programming The Movie"},{"key":"ref36","article-title":"Computer-aided gas pipeline operation using genetic algorithms","author":"goldberg","year":"1983"},{"key":"ref35","first-page":"768","article-title":"Hierarchical genetic algorithms operating on populations of computer programs","author":"koza","year":"1989","journal-title":"Proc Int Joint Conf Artif Intell (IJCAI)"},{"key":"ref34","article-title":"Non-linear genetic algorithms for solving problems","author":"koza","year":"1990"},{"key":"ref181","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281544"},{"key":"ref180","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2010.5585922"},{"key":"ref185","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768423"},{"key":"ref184","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768425"},{"key":"ref183","article-title":"Gen-O-Fix: An embeddable framework for dynamic adaptive genetic improvement programming","author":"swan","year":"2014"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768419"},{"key":"ref189","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231877"},{"key":"ref188","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368222"},{"key":"ref187","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"ref186","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2600116"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(06)80007-6"},{"key":"ref179","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768417"},{"key":"ref29","author":"koza","year":"1993","journal-title":"Genetic Programming&#x2014;On the Programming of Computers by Means of Natural Selection"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/289121.289140"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/362566.362568"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.04.002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(75)90008-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/321186.321192"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80040-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90050-8"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24650-3_33"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-008-9074-x"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2011.01.023"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref156","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859059"},{"key":"ref155","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-540-89694-4_7","article-title":"Multi-objective improvement of software using co-evolution and smart seeding","volume":"5361","author":"arcuri","year":"2008","journal-title":"Proc Int'l Conf Simulated Evolution and Learning"},{"key":"ref150","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"ref152","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/2771783.2771791","article-title":"An analysis of patch plausibility and correctness for generate-and-validate patch generation systems","author":"qi","year":"2015","journal-title":"Proc Int Symp Software Testing and Analysis (ISSTA)"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370223"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1145\/2330163.2330296"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.35"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1002\/scj.4690200208"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460869"},{"key":"ref55","first-page":"67","article-title":"Checking a large routine","author":"turing","year":"1949","journal-title":"Proc Conf High Speed Autom Calculating Mach"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/37401.37406"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32003-6_46"},{"key":"ref52","author":"jia","year":"2016","journal-title":"Picassevo"},{"key":"ref40","author":"poli","year":"2008","journal-title":"A Field Guide to Genetic Programming"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22183-0_2"},{"key":"ref166","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2014.10"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_29"},{"key":"ref164","first-page":"87","article-title":"Genetically improved CUDA C++ software","volume":"8599","author":"langdon","year":"2014","journal-title":"Proc 5th Eur Conf Genet Program (EuroGP)"},{"key":"ref163","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-642-39742-4_21","article-title":"Applying genetic improvement to MiniSAT","volume":"8084","author":"petke","year":"2013","journal-title":"Proc Int Symp Search Based Softw Eng (SSBSEP)"},{"key":"ref162","doi-asserted-by":"crossref","first-page":"1375","DOI":"10.1145\/2739480.2754648","article-title":"Deep parameter optimisation","author":"wu","year":"2015","journal-title":"Proc Genet Evol Comput Conf (GECCO)"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.044"},{"key":"ref160","doi-asserted-by":"publisher","DOI":"10.1145\/2001576.2001768"},{"key":"ref4","first-page":"137","article-title":"Using genetic improvement and code transplants to specialise a C++ program to a problem class","author":"petke","year":"2014","journal-title":"Proc 5th Eur Conf Genet Program (EuroGP)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref6","year":"2017","journal-title":"The &#x2018;Humies&#x2019; Awards Held at the Annual Genetic and Evolutionary Computation Conference (GECCO)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref8","year":"2015","journal-title":"BBC Click Interview With Prof Mark Harman"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.1145\/2330163.2330333"},{"key":"ref7","first-page":"247","article-title":"Babel Pidgin: SBSE can grow and graft entirely new functionality into a real world system","author":"harman","year":"2014","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/10426910802679634"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451151"},{"key":"ref9","author":"temperton","year":"2015","journal-title":"Code &#x2018;Transplant&#x2019; Could Revolutionise Programming"},{"key":"ref158","article-title":"Neutral networks of real-world programs and their application to automated software evolution","author":"schulte","year":"2014"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_121"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060408000127"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-008-0296-x"},{"key":"ref47","first-page":"21","article-title":"Genetic algorithm decoding for the interpretation of infra-red spectra in analytical biotechnology","author":"taylor","year":"1998","journal-title":"Proc 2nd Eur Workshop Genet Program (EuroGP)"},{"key":"ref42","author":"freitas","year":"2002","journal-title":"Data Mining and Knowledge Discovery with Evolutionary Algorithms"},{"key":"ref41","author":"rivero","year":"2011","journal-title":"Genetic Programming Key Concepts and Examples A Brief Tutorial on Genetic Programming"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69913-2"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199808)28:10<1033::AID-SPE198>3.0.CO;2-1"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2015.7335396"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635898"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882315"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1994.342832"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/32.879821"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"ref78","first-page":"625","article-title":"Application of genetic algorithms to software testing","author":"xanthakis","year":"1992","journal-title":"Proc Int Conf Softw Eng Appl"},{"key":"ref79","first-page":"169","article-title":"The way forward for unifying dynamic test-case generation: The optimisation-based approach","author":"tracey","year":"1998","journal-title":"Proc IFIP Int Workshop Depend Comput Appl (DCIA)"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102580"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref64","author":"dijkstra","year":"1969","journal-title":"Structured Programming"},{"key":"ref65","first-page":"233","article-title":"The role of formal techniques: Past, current and future or how did software get so reliable without proof? (Extended abstract)","author":"hoare","year":"1996","journal-title":"Proc of the IEEE Int Conf on Soft Eng (ICSE)"},{"key":"ref66","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","article-title":"Testing can be formal, too","author":"gaudel","year":"1995","journal-title":"Proc Int Joint Conf Theory Pract Softw Develop (TAPSOFT)"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1472"},{"key":"ref197","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100080"},{"key":"ref198","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"ref199","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-24721-0_20","article-title":"Automated debugging using path-based weakest preconditions","volume":"2984","author":"he","year":"2004","journal-title":"Proc Fundamental Approaches to Software Eng Conf (FASE)"},{"key":"ref193","doi-asserted-by":"publisher","DOI":"10.1145\/2598394.2609874"},{"key":"ref194","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03077-7_17"},{"key":"ref195","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568324"},{"key":"ref196","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"ref95","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-642-23716-4_5","article-title":"Ten years of search based software engineering: A bibliometric analysis","volume":"6956","author":"de freitas","year":"2011","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"ref190","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648513"},{"key":"ref191","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993536"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"ref192","first-page":"3","article-title":"N-version programming: A fault-tolerance approach to reliability of software operation","author":"chen","year":"1978","journal-title":"Proc Int l Symp Fault-Tolerant Computing (FTCS)"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.12.005"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.001"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389437"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"ref96","first-page":"415","article-title":"Automatic conversion of programs from serial to parallel using genetic programming&#x2014;The Paragen system","volume":"11","author":"walsh","year":"1995","journal-title":"Proc Parallel Computing (ParCo)"},{"key":"ref97","article-title":"Reducing premature convergence in evolutionary algorithms","author":"ryan","year":"1996"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277175"},{"key":"ref81","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1049\/ip-sen:19982444","article-title":"generating diverse software versions with genetic programming: an experimental study","volume":"145","author":"feldt","year":"1998","journal-title":"Software IEE Proceedings-"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/2729974"},{"key":"ref83","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/978-3-642-39742-4_19","article-title":"Preferencebased many-objective evolutionary testing generates harder test cases for autonomous agents","volume":"8084","author":"kalboussi","year":"2013","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref80","first-page":"11","article-title":"Genetic programming as an explorative tool in early software development phases","author":"feldt","year":"1999","journal-title":"Proc Int Workshop Soft Comput Appl Softw Eng (SCASE)"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55035-5_15"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9399-z"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69062-7_8"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.03.041"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/1868328.1868330"},{"key":"ref200","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351678"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2083669"},{"key":"ref209","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16501-1_17"},{"key":"ref203","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"ref204","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-013-9195-8"},{"key":"ref201","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227186"},{"key":"ref202","first-page":"221","article-title":"Automated concurrency-bug fixing","author":"jin","year":"2012","journal-title":"Proc of the 5th Symp on Oper Syst Design and Implementation (OSDI)"},{"key":"ref207","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2005.28"},{"key":"ref208","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2004.11"},{"key":"ref205","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265817"},{"key":"ref206","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606596"},{"key":"ref211","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228523"},{"key":"ref210","doi-asserted-by":"publisher","DOI":"10.1145\/2076450.2076469"},{"key":"ref212","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950390"},{"key":"ref213","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_12"},{"key":"ref214","first-page":"492","article-title":"Do the fix ingredients already exist? An empirical inquiry into the redundancy assumptions of program repair approaches","author":"martinez","year":"2014","journal-title":"Proc Int Conf Softw Eng (ICSE Companion)"},{"key":"ref215","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref216","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635893"},{"key":"ref217","author":"jones","year":"1993","journal-title":"Partial Evaluation and Automatic Program Generation"},{"key":"ref218","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568321"},{"key":"ref219","first-page":"143","article-title":"Optimizing energy consumption of GUIs in Android apps: A multi-objective approach","author":"v\u00e1squez","year":"2015","journal-title":"Proc SIGSOFT Int Symp Found Softw Eng (FSE)"},{"key":"ref127","article-title":"Automatic software generation and improvement through search based techniques","author":"arcuri","year":"2009"},{"key":"ref126","first-page":"203","article-title":"Software is not fragile","author":"langdon","year":"2017","journal-title":"Complex Systems Digital Campus CS-DC"},{"key":"ref125","year":"2016","journal-title":"Elsevier&#x2019;s Online Search Platform"},{"key":"ref124","year":"2016","journal-title":"Online Search Platform"},{"key":"ref129","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2070781.2024186","article-title":"Genetic programming for shader simplification","volume":"30","author":"sitthi-amorn","year":"2011","journal-title":"ACM Trans Graph"},{"key":"ref128","article-title":"Genetic programming for low-resource systems","author":"white","year":"2009"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768418"},{"key":"ref133","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-319-22183-0_21","article-title":"Automated transplantation of call graph and layout features into Kate","volume":"9275 bergamo italy","author":"marginean","year":"2015","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref134","doi-asserted-by":"crossref","DOI":"10.18130\/V3KZ3C","article-title":"Automatic program repair using genetic programming","author":"le goues","year":"2013"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830654"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830739"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2009.12"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768426"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671274"},{"key":"ref140","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/2737924.2737988","article-title":"Automatic error elimination by horizontal code transfer across multiple applications","author":"sidiroglou-douskos","year":"2015","journal-title":"Proc Program Lang Design Implement (PLDI)"},{"key":"ref141","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-3-319-22183-0_22","article-title":"Grow and serve: Growing Django citation services using SBSE","volume":"9275","author":"jia","year":"2015","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48885-5_21"},{"key":"ref143","first-page":"295","article-title":"The evolution of provable parallel programs","author":"ryan","year":"1997","journal-title":"Proc Genet Evol Comput Conf (GECCO)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570031"},{"key":"ref144","first-page":"27","article-title":"Genetic compilers: A new technique for automatic parallelisation","author":"williams","year":"1996","journal-title":"Proc Eur School Parallel Program Environ (ESPPE)"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/2771783.2771796","article-title":"Automated software transplantation","author":"barr","year":"2015","journal-title":"Proc Int Symp Software Testing and Analysis (ISSTA)"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768427"},{"key":"ref109","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/978-3-319-22183-0_20","article-title":"Object-oriented genetic improvement for improved energy consumption in Google Guava","volume":"9275","author":"burles","year":"2015","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref108","article-title":"Asymptotic genetic improvement programming via type functors and catamorphisms","author":"kocsis","year":"2014","journal-title":"Proc Semantic GP Workshop (PPSN)"},{"key":"ref107","first-page":"259","article-title":"Repairing and optimizing hadoop hashCode implementations","volume":"8636","author":"kocsis","year":"2014","journal-title":"Proc Int'l Symp Search Based Software Eng"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768416"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.28"},{"key":"ref103","author":"dijkstra","year":"1988","journal-title":"On the Cruelty of Really Teaching Computing Science"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2052622"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61512-2"},{"key":"ref112","first-page":"60","article-title":"Evolutionary software improvement for instruction set meta-evolution","author":"orlov","year":"2008","journal-title":"Proc Workshop Summer School Evol Comput (WSSEC)"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"ref10","author":"woodward","year":"2015","journal-title":"How Computers are Learning to Make Human Software Work More Efficiently"},{"key":"ref11","author":"langdon","year":"2016","journal-title":"Genetic Improvement"},{"key":"ref12","author":"lovelace","year":"1843","journal-title":"Sketch of the Analytical Engine Invented by Charles Babbage by L F Menabrea of Turin Officer of the Military Engineers With Notes by the Translator"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/368280.368289"},{"key":"ref14","author":"church","year":"1941","journal-title":"The Calculi of Lambda Conversion"},{"key":"ref15","first-page":"21","article-title":"Towards a mathematical theory of computation","volume":"62","author":"mccarthy","year":"1962","journal-title":"Proc Int Found Inform Process Congr (IFIP)"},{"key":"ref16","author":"stoy","year":"1985","journal-title":"Denotational Semantics The Scott&#x2014;Strachey Approach to Programming Language Theory"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.65"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00263742","article-title":"A system which automatically improves programs","volume":"6","author":"darlington","year":"1976","journal-title":"Acta Inf"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/512976.512983"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-46490-4_27"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref114","article-title":"Evolutionary algorithms for automatic parallelization","author":"williams","year":"1998"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570042"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45110-2_154"},{"key":"ref115","first-page":"406","article-title":"Paragen: A novel technique for the autoparallelisation of sequential programs using genetic programming","author":"walsh","year":"1996","journal-title":"Proc Genet Evol Comput Conf (GECCO)"},{"key":"ref120","first-page":"503","article-title":"SEEDS: A software engineer&#x2019;s energy-optimization decision support framework","author":"guti\u00e9rrez","year":"2014","journal-title":"Proc Int l Conf Software Eng (ICSE)"},{"key":"ref121","year":"2016","journal-title":"Online Collection of Bibliographies of Scientific Literature in Computer Science From Various Sources"},{"key":"ref122","year":"2016","journal-title":"Digital Library"},{"key":"ref123","author":"xplore","year":"2016","journal-title":"Digital Library"}],"container-title":["IEEE Transactions on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4235\/8367832\/07911210.pdf?arnumber=7911210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T07:01:45Z","timestamp":1643180505000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7911210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":219,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tevc.2017.2693219","relation":{},"ISSN":["1089-778X","1089-778X","1941-0026"],"issn-type":[{"value":"1089-778X","type":"print"},{"value":"1089-778X","type":"print"},{"value":"1941-0026","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}