{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T18:57:53Z","timestamp":1759777073048,"version":"3.37.3"},"reference-count":75,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2017,11,18]],"date-time":"2017-11-18T00:00:00Z","timestamp":1510963200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,11,18]],"date-time":"2017-11-18T00:00:00Z","timestamp":1510963200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1564162"],"award-info":[{"award-number":["CCF-1564162"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1453474"],"award-info":[{"award-number":["CCF-1453474"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10664-017-9550-0","type":"journal-article","created":{"date-parts":[[2017,11,18]],"date-time":"2017-11-18T05:34:52Z","timestamp":1510983292000},"page":"2901-2947","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Do automated program repair techniques repair hard and important bugs?"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5129-3980","authenticated-orcid":false,"given":"Manish","family":"Motwani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandhya","family":"Sankaranarayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Just","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3027-7986","authenticated-orcid":false,"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,18]]},"reference":[{"key":"9550_CR1","doi-asserted-by":"crossref","unstructured":"Alkhalaf M, Aydin A, Bultan T (2014) Semantic differential repair for input validation and sanitization. In: International symposium on software testing and analysis (ISSTA), San Jose, CA, USA, pp 225\u2013236","DOI":"10.1145\/2610384.2610401"},{"key":"9550_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to software testing","author":"P Ammann","year":"2008","unstructured":"Ammann P, Offutt J (2008) Introduction to software testing, 1st edn. Cambridge University Press, New York","edition":"1st edn."},{"key":"9550_CR3","doi-asserted-by":"crossref","unstructured":"Arcuri A, Yao X (2008) A novel co-evolutionary approach to automatic software bug fixing. In: Congress on Evolutionary Computation, pp 162\u2013168","DOI":"10.1109\/CEC.2008.4630793"},{"key":"9550_CR4","unstructured":"Bradbury JS, Jalbert K Di Penta M, Poulding S, Briand L, Clark J (eds) (2010) Automatic repair of concurrency bugs. Benevento, Italy"},{"issue":"8","key":"9550_CR5","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1109\/TSE.2015.2412134","volume":"41","author":"Y Brun","year":"2015","unstructured":"Brun Y, Bang J, Edwards G, Medvidovic N (2015) Self-adapting reliability in distributed software systems. IEEE Transactions on Software Engineering (TSE) 41(8):764\u2013780. \n                    https:\/\/doi.org\/10.1109\/TSE.2015.2412134","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"9550_CR6","unstructured":"Brun Y, Barr E, Xiao M, Le Goues C, Devanbu P (2013) Evolution vs. intelligent design in program patching. Tech. Rep., UC Davis: College of Engineering \n                    https:\/\/escholarship.org\/uc\/item\/3z8926ks"},{"key":"9550_CR7","doi-asserted-by":"publisher","unstructured":"Brun Y, Medvidovic N (2007) An architectural style for solving computationally intensive problems on large networks. In: Software engineering for adaptive and self-managing systems (SEAMS). Minneapolis, MN, USA. \n                    https:\/\/doi.org\/10.1109\/SEAMS.2007.4","DOI":"10.1109\/SEAMS.2007.4"},{"key":"9550_CR8","doi-asserted-by":"publisher","unstructured":"Brun Y, Medvidovic N (2007) Fault and adversary tolerance as an emergent property of distributed systems\u2019 software architectures. In: International workshop on engineering fault tolerant systems (EFTS). Dubrovnik, Croatia, pp 38\u201343. \n                    https:\/\/doi.org\/10.1145\/1316550.1316557","DOI":"10.1145\/1316550.1316557"},{"key":"9550_CR9","doi-asserted-by":"publisher","DOI":"10.4135\/9781848607941","volume-title":"The SAGE handbook of grounded theory","author":"A Bryant","year":"2007","unstructured":"Bryant A, Charmaz K (2007) The SAGE handbook of grounded theory. SAGE Publications Ltd, New York"},{"key":"9550_CR10","doi-asserted-by":"crossref","unstructured":"Carbin M, Misailovic S, Kling M, Rinard M (2011) Detecting and escaping infinite loops with xJolt. In: European conference on object oriented programming (ECOOP). Lancaster, England, UK","DOI":"10.1007\/978-3-642-22655-7_28"},{"key":"9550_CR11","doi-asserted-by":"crossref","unstructured":"Carzaniga A, Gorla A, Mattavelli A, Perino N, Pezz\u0117 M (2013) Automatic recovery from runtime failures. In: ACM\/IEEE international conference on software engineering (ICSE). San Francisco, CA, USA, pp 782\u2013791","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"9550_CR12","doi-asserted-by":"publisher","unstructured":"Carzaniga A, Gorla A, Perino N, Pezz\u0117 M (2010) Automatic workarounds for web applications. In: ACM SIGSOFT international symposium on foundations of software engineering (FSE). Santa Fe, New Mexico, USA, pp 237\u2013246. \n                    https:\/\/doi.org\/10.1145\/1882291.1882327","DOI":"10.1145\/1882291.1882327"},{"key":"9550_CR13","volume-title":"Constructing grounded theory: a practical guide through qualitative analysis","author":"K Charmaz","year":"2006","unstructured":"Charmaz K (2006) Constructing grounded theory: a practical guide through qualitative analysis. SAGE Publications Ltd, New York"},{"key":"9550_CR14","doi-asserted-by":"crossref","unstructured":"Coker Z, Hafiz M (2013) Program transformations to fix C integers. In: ACM\/IEEE international conference on software engineering (ICSE). San Francisco, CA, USA, pp 792\u2013801","DOI":"10.1109\/ICSE.2013.6606625"},{"key":"9550_CR15","doi-asserted-by":"publisher","unstructured":"Dallmeier V, Zeller A, Meyer B (2009) Generating fixes from object behavior anomalies. In: IEEE\/ACM international conference on automated software engineering (ASE) short paper track. Auckland, New Zealand, pp 550\u2013554. \n                    https:\/\/doi.org\/10.1109\/ASE.2009.15","DOI":"10.1109\/ASE.2009.15"},{"key":"9550_CR16","doi-asserted-by":"publisher","unstructured":"Debroy V, Wong W (2010) Using mutation to automatically suggest fixes for faulty programs. In: International conference on software testing, verification, and validation. Paris, France, pp 65\u201374. \n                    https:\/\/doi.org\/10.1109\/ICST.2010.66","DOI":"10.1109\/ICST.2010.66"},{"key":"9550_CR17","doi-asserted-by":"publisher","unstructured":"DeMarco F, Xuan J, Berre DL, Monperrus M (2014) Automatic repair of buggy if conditions and missing preconditions with SMT. In: International workshop on constraints in software testing, verification, and analysis (CSTVA). Hyderabad, India, pp 30\u201339. \n                    https:\/\/doi.org\/10.1145\/2593735.2593740","DOI":"10.1145\/2593735.2593740"},{"key":"9550_CR18","doi-asserted-by":"crossref","unstructured":"Demsky B, Ernst MD, Guo PJ, McCamant S, Perkins JH, Rinard M (2006) Inference and enforcement of data structure consistency specifications. In: International symposium on software testing and analysis (ISSTA). Portland, ME, USA, pp 233\u2013243","DOI":"10.1145\/1146238.1146266"},{"key":"9550_CR19","unstructured":"Durieux T, Martinez M, Monperrus M, Sommerard R, Xuan J (2015) Automatic repair of real bugs: An experience report on the Defects4J dataset. arXiv:\n                    1505.07002"},{"key":"9550_CR20","doi-asserted-by":"publisher","unstructured":"Elkarablieh B, Khurshid S (2008) Juzi: a tool for repairing complex data structures. In: ACM\/IEEE international conference on software engineering (ICSE) formal demonstration track. Leipzig, Germany, pp 855\u2013858. \n                    https:\/\/doi.org\/10.1145\/1368088.1368222","DOI":"10.1145\/1368088.1368222"},{"issue":"2","key":"9550_CR21","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"MD Ernst","year":"2001","unstructured":"Ernst MD, Cockrell J, Griswold WG, Notkin D (2001) Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering (TSE) 27(2):99\u2013123","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"issue":"5","key":"9550_CR22","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1037\/a0015808","volume":"40","author":"CJ Ferguson","year":"2009","unstructured":"Ferguson CJ (2009) An effect size primer: a guide for clinicians and researchers. Prof Psychol: Res Prac 40(5):532\u2013538. \n                    https:\/\/doi.org\/10.1037\/a0015808","journal-title":"Prof Psychol: Res Prac"},{"key":"9550_CR23","doi-asserted-by":"crossref","unstructured":"Fry ZP, Landau B, Weimer W (2012) A human study of patch maintainability. In: International symposium on software testing and analysis (ISSTA). Minneapolis, MN, USA, pp 177\u2013187","DOI":"10.1145\/2338965.2336775"},{"key":"9550_CR24","doi-asserted-by":"publisher","unstructured":"Galhotra S, Brun Y, Meliou A (2017) Fairness testing: testing software for discrimination. In: European software engineering conference and ACM SIGSOFT symposium on the foundations of software engineering (ESEC\/FSE). Paderborn, Germany, pp 498\u2013510. \n                    https:\/\/doi.org\/10.1145\/3106237.3106277","DOI":"10.1145\/3106237.3106277"},{"key":"9550_CR25","doi-asserted-by":"crossref","unstructured":"Gopinath D, Malik MZ, Khurshid S (2011) Specification-based program repair using SAT. In: International conference on tools and algorithms for the construction and analysis of systems (TACAS). Saarbr\u00fccken, Germany, pp 173\u2013188","DOI":"10.1007\/978-3-642-19835-9_15"},{"key":"9550_CR26","doi-asserted-by":"publisher","unstructured":"Harman M (2007) The current state and future of search based software engineering. In: ACM\/IEEE international conference on software engineering (ICSE), pp 342\u2013357. \n                    https:\/\/doi.org\/10.1109\/FOSE.2007.29","DOI":"10.1109\/FOSE.2007.29"},{"key":"9550_CR27","doi-asserted-by":"crossref","unstructured":"Hutchins M, Foster H, Goradia T, Ostrand T (1994) Experiments of the effectiveness of dataflow-and control flow-based test adequacy criteria. In: ACM\/IEEE international conference on software engineering (ICSE). Sorrento, Italy, pp 191\u2013200","DOI":"10.1109\/ICSE.1994.296778"},{"key":"9550_CR28","doi-asserted-by":"publisher","unstructured":"Jeffrey D, Feng M, Gupta N, Gupta R (2009) Bugfix: a learning-based tool to assist developers in fixing bugs. In: International conference on program comprehension (ICPC). Vancouver, BC, Canada, pp 70\u201379. \n                    https:\/\/doi.org\/10.1109\/ICPC.2009.5090029","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"9550_CR29","doi-asserted-by":"publisher","unstructured":"Jiang M, Chena TY, Kuoa FC, Towey D, Ding Z (2016) A metamorphic testing approach for supporting program repair without the need for a test oracle. J Syst Softw (JSS) 126:127\u2013140. \n                    https:\/\/doi.org\/10.1016\/j.jss.2016.04.002","DOI":"10.1016\/j.jss.2016.04.002"},{"key":"9550_CR30","doi-asserted-by":"publisher","unstructured":"Jin G, Song L, Zhang W, Lu S, Liblit B (2011) Automated atomicity-violation fixing. In: ACM SIGPLAN conference on programming language design and implementation (PLDI). San Jose, CA, USA, pp 389\u2013400. \n                    https:\/\/doi.org\/10.1145\/1993498.1993544","DOI":"10.1145\/1993498.1993544"},{"key":"9550_CR31","doi-asserted-by":"crossref","unstructured":"Just R, Jalali D, Ernst MD (2014) Defects4j: a database of existing faults to enable controlled testing studies for Java programs. In: Proceedings of the international symposium on software testing and analysis (ISSTA). San Jose, CA, USA, pp 437\u2013440","DOI":"10.1145\/2610384.2628055"},{"key":"9550_CR32","doi-asserted-by":"publisher","unstructured":"Ke Y, Stolee KT, Le Goues C, Brun Y (2015) Repairing programs with semantic code search. In: International conference on automated software engineering (ASE). Lincoln, NE, USA, pp 295\u2013306. \n                    https:\/\/doi.org\/10.1109\/ASE.2015.60","DOI":"10.1109\/ASE.2015.60"},{"key":"9550_CR33","doi-asserted-by":"crossref","unstructured":"Kim D, Nam J, Song J, Kim S (2013) Automatic patch generation learned from human-written patches. In: ACM\/IEEE international conference on software engineering (ICSE). San Francisco, CA, USA, pp 802\u2013811. \n                    http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486893","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"9550_CR34","doi-asserted-by":"publisher","unstructured":"Kong X, Zhang L, Wong WE, Li B (2015) Experience report: how do techniques, programs, and tests impact automated program repair?. In: IEEE international symposium on software reliability engineering (ISSRE). Gaithersburg, MD, USA, pp 194\u2013204. \n                    https:\/\/doi.org\/10.1109\/ISSRE.2015.7381813","DOI":"10.1109\/ISSRE.2015.7381813"},{"key":"9550_CR35","volume-title":"Genetic programming: on the programming of computers by means of natural selection","author":"JR Koza","year":"1992","unstructured":"Koza JR (1992) Genetic programming: on the programming of computers by means of natural selection. MIT Press, Cambridge"},{"key":"9550_CR36","doi-asserted-by":"publisher","unstructured":"Langdon WB, White DR, Harman M, Jia Y, Petke J (2016) API-constrained genetic improvement. In: International symposium on search based software engineering (SSBSE). Raleigh, NC, USA, pp 224\u2013230. \n                    https:\/\/doi.org\/10.1007\/978-3-319-47106-8_16","DOI":"10.1007\/978-3-319-47106-8_16"},{"key":"9550_CR37","doi-asserted-by":"crossref","unstructured":"Le XBD, Chu DH, Lo D, Le Goues C, Visser W (2017) S3: syntax- and semantic-guided repair synthesis via programming by examples. In: European software engineering conference and ACM SIGSOFT international symposium on foundations of software engineering (ESEC\/FSE). Paderborn, Germany","DOI":"10.1145\/3106237.3106309"},{"key":"9550_CR38","doi-asserted-by":"crossref","unstructured":"Le Goues C, Dewey-Vogt M, Forrest S, Weimer W (2012a) A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In: AMC\/IEEE international conference on software engineering (ICSE). Zurich, Switzerland, pp 3\u201313","DOI":"10.1109\/ICSE.2012.6227211"},{"issue":"12","key":"9550_CR39","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1109\/TSE.2015.2454513","volume":"41","author":"C Le Goues","year":"2015","unstructured":"Le Goues C, Holtschulte N, Smith EK, Brun Y, Devanbu P, Forrest S, Weimer W (2015) The ManyBugs and IntroClass benchmarks for automated repair of C programs. IEEE Transactions on Software Engineering (TSE) 41(12):1236\u20131256. \n                    https:\/\/doi.org\/10.1109\/TSE.2015.2454513","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"9550_CR40","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Le Goues","year":"2012","unstructured":"Le Goues C, Nguyen T, Forrest S, Weimer W (2012b) Genprog: a generic method for automatic software repair. IEEE Transactions on Software Engineering (TSE) 38:54\u201372. \n                    https:\/\/doi.org\/10.1109\/TSE.2011.104","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"9550_CR41","volume-title":"Research methods in political science: an introduction using MicroCase","author":"MK Le Roy","year":"2009","unstructured":"Le Roy MK (2009) Research methods in political science: an introduction using MicroCase, 7th edn. Thompson Learning, Wadsworth","edition":"7th edn."},{"key":"9550_CR42","doi-asserted-by":"crossref","unstructured":"Liu P, Tripp O, Zhang C (2014) Grail: context-aware fixing of concurrency bugs. In: ACM SIGSOFT international symposium on foundations of software engineering (FSE). Hong Kong, China, pp 318\u2013329","DOI":"10.1145\/2635868.2635881"},{"key":"9550_CR43","doi-asserted-by":"crossref","unstructured":"Liu P, Zhang C (2012) Axis: Automatically fixing atomicity violations through solving control constraints. In: ACM\/IEEE international conference on software engineering (ICSE). Zurich, Switzerland, pp 299\u2013309","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"9550_CR44","doi-asserted-by":"publisher","unstructured":"Long F, Rinard M (2015) Staged program repair with condition synthesis. In: European software engineering conference and ACM SIGSOFT international symposium on foundations of software engineering (ESEC\/FSE). Bergamo, Italy, pp 166\u2013178. \n                    https:\/\/doi.org\/10.1145\/2786805.2786811","DOI":"10.1145\/2786805.2786811"},{"key":"9550_CR45","doi-asserted-by":"publisher","unstructured":"Long F, Rinard M (2016a) An analysis of the search spaces for generate and validate patch generation systems. In: ACM\/IEEE international conference on software engineering (ICSE). Austin, TX, USA, pp 702\u2013713. \n                    https:\/\/doi.org\/10.1145\/2884781.2884872","DOI":"10.1145\/2884781.2884872"},{"key":"9550_CR46","doi-asserted-by":"publisher","unstructured":"Long F, Rinard M (2016b) Automatic patch generation by learning correct code. In: ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL). St. Petersburg, FL, USA, pp 298\u2013312. \n                    https:\/\/doi.org\/10.1145\/2837614.2837617","DOI":"10.1145\/2837614.2837617"},{"issue":"4","key":"9550_CR47","doi-asserted-by":"publisher","first-page":"1936","DOI":"10.1007\/s10664-016-9470-4","volume":"22","author":"M Martinez","year":"2017","unstructured":"Martinez M, Durieux T, Sommerard R, Xuan J, Monperrus M (2017) Automatic repair of real bugs in Java: a large-scale experiment on the Defects4J dataset. Empirical Software Engineering (EMSE) 22(4):1936\u20131964. \n                    https:\/\/doi.org\/10.1007\/s10664-016-9470-4","journal-title":"Empirical Software Engineering (EMSE)"},{"issue":"1","key":"9550_CR48","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1057\/ejis.2011.35","volume":"22","author":"R Matavire","year":"2013","unstructured":"Matavire R, Brown I (2013) Profiling grounded theory approaches in information systems research. Eur J Inf Syst 22(1):119\u2013129. \n                    https:\/\/doi.org\/10.1057\/ejis.2011.35","journal-title":"Eur J Inf Syst"},{"key":"9550_CR49","doi-asserted-by":"crossref","unstructured":"Mechtaev S, Yi J, Roychoudhury A (2015) Directfix: looking for simple program repairs. In: International conference on software engineering (ICSE). Florence, Italy","DOI":"10.1109\/ICSE.2015.63"},{"key":"9550_CR50","doi-asserted-by":"crossref","unstructured":"Mechtaev S, Yi J, Roychoudhury A (2016) Angelix: Scalable multiline program patch synthesis via symbolic analysis. In: International conference on software engineering (ICSE). Austin, TX, USA","DOI":"10.1145\/2884781.2884807"},{"key":"9550_CR51","doi-asserted-by":"publisher","unstructured":"Monperrus M (2014) A critical review of automatic patch generation learned from human-written patches: essay on the problem statement and the evaluation of automatic software repair. In: ACM\/IEEE international conference on software engineering (ICSE). Hyderabad, India, pp 234\u2013242. \n                    https:\/\/doi.org\/10.1145\/2568225.2568324","DOI":"10.1145\/2568225.2568324"},{"key":"9550_CR52","doi-asserted-by":"publisher","unstructured":"Mu\u015flu K, Brun Y, Meliou A (2013) Data debugging with continuous testing. In: European software engineering conference and ACM SIGSOFT symposium on the foundations of software engineering (ESEC\/FSE) NIER Track. Saint Petersburg, Russia, pp 631\u2013634. \n                    https:\/\/doi.org\/10.1145\/2491411.2494580","DOI":"10.1145\/2491411.2494580"},{"key":"9550_CR53","doi-asserted-by":"publisher","unstructured":"Mu\u015flu K, Brun Y, Meliou A (2015) Preventing data errors with continuous testing. In: International symposium on software testing and analysis (ISSTA). Baltimore, MD, USA, pp 373\u2013384. \n                    https:\/\/doi.org\/10.1145\/2771783.2771792","DOI":"10.1145\/2771783.2771792"},{"issue":"1","key":"9550_CR54","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1177\/1536867X0200200103","volume":"2","author":"R Newson","year":"2002","unstructured":"Newson R (2002) Parameters behind nonparametric statistics: Kendall\u2019s tau, Somers\u2019 D and median differences. Stata J 2(1):45\u201364","journal-title":"Stata J"},{"key":"9550_CR55","doi-asserted-by":"crossref","unstructured":"Nguyen HDT, Qi D, Roychoudhury A, Chandra S (2013) Semfix: program repair via semantic analysis. In: ACM\/IEEE international conference on software engineering (ICSE). San Francisco, CA, USA, pp 772\u2013781","DOI":"10.1109\/ICSE.2013.6606623"},{"issue":"2","key":"9550_CR56","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/TEVC.2010.2052622","volume":"15","author":"M Orlov","year":"2011","unstructured":"Orlov M, Sipper M (2011) Flight of the FINCH through the Java wilderness. IEEE Trans Evol Comput 15(2):166\u2013182","journal-title":"IEEE Trans Evol Comput"},{"issue":"5","key":"9550_CR57","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1109\/TSE.2014.2312918","volume":"40","author":"Y Pei","year":"2014","unstructured":"Pei Y, Furia CA, Nordio M, Wei Y, Meyer B, Zeller A (2014) Automated fixing of programs with contracts. IEEE Transactions on Software Engineering (TSE) 40(5):427\u2013449. \n                    https:\/\/doi.org\/10.1109\/TSE.2014.2312918","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"9550_CR58","doi-asserted-by":"publisher","unstructured":"Perkins JH, Kim S, Larsen S, Amarasinghe S, Bachrach J, Carbin M, Pacheco C, Sherwood F, Sidiroglou S, Sullivan G, Wong WF, Zibin Y, Ernst MD, Rinard M (2009) Automatically patching errors in deployed software. In: ACM symposium on operating systems principles (SOSP). Big Sky, MT, USA, pp 87\u2013102. \n                    https:\/\/doi.org\/10.1145\/1629575.1629585","DOI":"10.1145\/1629575.1629585"},{"key":"9550_CR59","doi-asserted-by":"publisher","unstructured":"Petke J, Haraldsson SO, Harman M, Langdon WB, White DR, Woodward JR (2017) Genetic improvement of software: a comprehensive survey. IEEE Transactions on Evolutionary Computation (TEC). In press. \n                    https:\/\/doi.org\/10.1109\/TEVC.2017.2693219","DOI":"10.1109\/TEVC.2017.2693219"},{"key":"9550_CR60","doi-asserted-by":"publisher","unstructured":"Qi Y, Mao X, Lei Y (2013) Efficient automated program repair through fault-recorded testing prioritization. In: International conference on software maintenance (ICSM). Eindhoven, The Netherlands, pp 180\u2013189. \n                    https:\/\/doi.org\/10.1109\/ICSM.2013.29","DOI":"10.1109\/ICSM.2013.29"},{"key":"9550_CR61","doi-asserted-by":"publisher","unstructured":"Qi Z, Long F, Achour S, Rinard M (2015) An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In: International symposium on software testing and analysis (ISSTA). Baltimore, MD, USA, pp 24\u201336. \n                    https:\/\/doi.org\/10.1145\/2771783.2771791","DOI":"10.1145\/2771783.2771791"},{"key":"9550_CR62","doi-asserted-by":"publisher","unstructured":"Schulte E, Dorn J, Harding S, Forrest S, Weimer W (2014) Post-compiler software optimization for reducing energy. In: International conference on architectural support for programming languages and operating systems (ASPLOS). Salt Lake City, UT, USA, pp 639\u2013652. \n                    https:\/\/doi.org\/10.1145\/2541940.2541980","DOI":"10.1145\/2541940.2541980"},{"issue":"6","key":"9550_CR63","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MSP.2005.144","volume":"3","author":"S Sidiroglou","year":"2005","unstructured":"Sidiroglou S, Keromytis AD (2005) Countering network worms through automatic patch generation. IEEE Secur Priv 3(6):41\u201349","journal-title":"IEEE Secur Priv"},{"key":"9550_CR64","doi-asserted-by":"publisher","unstructured":"Sidiroglou-Douskos S, Lahtinen E, Long F, Rinard M (2015) Automatic error elimination by horizontal code transfer across multiple applications. In: ACM SIGPLAN conference on programming language design and implementation (PLDI). Portland, OR, USA, pp 43\u201354. \n                    https:\/\/doi.org\/10.1145\/2737924.2737988","DOI":"10.1145\/2737924.2737988"},{"key":"9550_CR65","doi-asserted-by":"publisher","unstructured":"Smith EK, Barr E, Le Goues C, Brun Y (2015) Is the cure worse than the disease? Overfitting in automated program repair. In: European software engineering conference and ACM SIGSOFT symposium on the foundations of software engineering (ESEC\/FSE). Bergamo, Italy, pp 532\u2013543. \n                    https:\/\/doi.org\/10.1145\/2786805.2786825","DOI":"10.1145\/2786805.2786825"},{"key":"9550_CR66","unstructured":"softwaretestinghelp.com (2015) 15 most popular bug tracking software to ease your defect management process. \n                    http:\/\/www.softwaretestinghelp.com\/popular-bug-tracking-software\/\n                    \n                  , accessed December 11 2015"},{"key":"9550_CR67","doi-asserted-by":"publisher","unstructured":"Soto M, Thung F, Wong CP, Goues CL, Lo D (2016) a deeper look into bug fixes: patterns, replacements, deletions, and additions. In: International conference on mining software repositories (MSR) mining challenge track. Austin, TX, USA. \n                    https:\/\/doi.org\/10.1145\/2901739.2903495","DOI":"10.1145\/2901739.2903495"},{"key":"9550_CR68","doi-asserted-by":"crossref","unstructured":"Tan SH, Roychoudhury A (2015) relifix: automated repair of software regressions. In: International conference on software engineering (ICSE). Florence, Italy","DOI":"10.1109\/ICSE.2015.65"},{"key":"9550_CR69","doi-asserted-by":"crossref","unstructured":"Wang X, Dong XL, Meliou A (2015) Data X-Ray: a diagnostic tool for data errors. In: International conference on management of data (SIGMOD)","DOI":"10.1145\/2723372.2750549"},{"key":"9550_CR70","doi-asserted-by":"publisher","unstructured":"Wei Y, Pei Y, Furia CA, Silva LS, Buchholz S, Meyer B, Zeller A (2010) Automated fixing of programs with contracts. In: International symposium on software testing and analysis (ISSTA). Trento, Italy, pp 61\u201372. \n                    https:\/\/doi.org\/10.1145\/1831708.1831716","DOI":"10.1145\/1831708.1831716"},{"key":"9550_CR71","doi-asserted-by":"crossref","unstructured":"Weimer W, Fry ZP, Forrest S (2013) Leveraging program equivalence for adaptive program repair: models and first results. In: IEEE\/ACM international conference on automated software engineering (ASE). Palo alto, CA, USA","DOI":"10.1109\/ASE.2013.6693094"},{"key":"9550_CR72","doi-asserted-by":"publisher","unstructured":"Weimer W, Nguyen T, Le Goues C, Forrest S (2009) Automatically finding patches using genetic programming. In: ACM\/IEEE international conference on software engineering (ICSE). Vancouver, BC, Canada, pp 364\u2013374. \n                    https:\/\/doi.org\/10.1109\/ICSE.2009.5070536","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"9550_CR73","doi-asserted-by":"crossref","unstructured":"Weiss A, Guha A, Brun Y (2017) Tortoise: interactive system configuration repair. In: International conference on automated software engineering (ASE). Urbana-champaign, IL, USA","DOI":"10.1109\/ASE.2017.8115673"},{"key":"9550_CR74","doi-asserted-by":"publisher","unstructured":"Wilkerson JL, Tauritz DR, Bridges JM (2012) Multi-objective coevolutionary automated software correction. In: Conference on genetic and evolutionary computation (GECCO). Philadelphia, PA, USA, pp 1229\u20131236. \n                    https:\/\/doi.org\/10.1145\/2330163.2330333","DOI":"10.1145\/2330163.2330333"},{"key":"9550_CR75","doi-asserted-by":"publisher","unstructured":"Yang G, Khurshid S, Kim M (2012) Specification-based test repair using a lightweight formal method. In: International symposium on formal methods (FM). Paris, France, pp 455\u2013470. \n                    https:\/\/doi.org\/10.1007\/978-3-642-32759-9_37","DOI":"10.1007\/978-3-642-32759-9_37"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-017-9550-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-017-9550-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-017-9550-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:10:08Z","timestamp":1589728208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-017-9550-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,18]]},"references-count":75,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["9550"],"URL":"https:\/\/doi.org\/10.1007\/s10664-017-9550-0","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"type":"print","value":"1382-3256"},{"type":"electronic","value":"1573-7616"}],"subject":[],"published":{"date-parts":[[2017,11,18]]},"assertion":[{"value":"18 November 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}