{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:36:58Z","timestamp":1784342218237,"version":"3.55.0"},"reference-count":103,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,6,7]],"date-time":"2013-06-07T00:00:00Z","timestamp":1370563200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s11219-013-9208-0","type":"journal-article","created":{"date-parts":[[2013,6,6]],"date-time":"2013-06-06T08:09:43Z","timestamp":1370506183000},"page":"421-443","source":"Crossref","is-referenced-by-count":147,"title":["Current challenges in automatic software repair"],"prefix":"10.1007","volume":"21","author":[{"given":"Claire","family":"Le Goues","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,6,7]]},"reference":[{"key":"9208_CR1","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., & van Gemund, A. J. C. (2006). An evaluation of similarity coefficients for software fault localization. In Pacific rim international symposium on dependable computing. IEEE Computer Society, 39\u201346.","DOI":"10.1109\/PRDC.2006.18"},{"key":"9208_CR2","doi-asserted-by":"crossref","unstructured":"Ackling, T., Alexander, B., & Grunert, I. (2011). Evolving patches for software repair. In Genetic and evolutionary computation, 1427\u20131434.","DOI":"10.1145\/2001576.2001768"},{"key":"9208_CR3","doi-asserted-by":"crossref","unstructured":"Adamopoulos, K., Harman, M., & Hierons, R. M. (2004). How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In Genetic and evolutionary computation conference, 1338\u20131349.","DOI":"10.1007\/978-3-540-24855-2_155"},{"key":"9208_CR4","doi-asserted-by":"crossref","unstructured":"Alba, E., & Chicano, F. (2007). Finding safety errors with ACO. In Genetic and evolutionary computation conference, 1066\u20131073.","DOI":"10.1145\/1276958.1277171"},{"key":"9208_CR5","doi-asserted-by":"crossref","unstructured":"Albertsson, L., & Magnusson, P. S. (2000). Using complete system simulation for temporal debugging of general purpose operating systems and workload. In International symposium on modeling, analysis and simulation of computer and telecommunication systems, 191.","DOI":"10.1109\/MASCOT.2000.876444"},{"key":"9208_CR6","unstructured":"Al-Ekram, R., Adma, A., & Baysal, O. (2005). diffX: An algorithm to detect changes in multi-version XML documents. In Conference of the centre for advanced studies on collaborative research. IBM Press, 1\u201311."},{"key":"9208_CR7","doi-asserted-by":"crossref","unstructured":"Anvik, J., Hiew, L., & Murphy, G. C. (2006). Who should fix this bug? In International conference on software engineering, 361\u2013370.","DOI":"10.1145\/1134285.1134336"},{"issue":"4","key":"9208_CR8","doi-asserted-by":"crossref","first-page":"3494","DOI":"10.1016\/j.asoc.2011.01.023","volume":"11","author":"A. Arcuri","year":"2011","unstructured":"Arcuri, A. (2011). Evolutionary repair of faulty software. Applied Soft Computing, 11(4), 3494\u20133514.","journal-title":"Applied Soft Computing"},{"key":"9208_CR9","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, 162\u2013168.","DOI":"10.1109\/CEC.2008.4630793"},{"key":"9208_CR10","doi-asserted-by":"crossref","unstructured":"Ashok, B., Joy, J., Liang, H., Rajamani, S. K., Srinivasa, G., & Vangala, V. (2009) DebugAdvisor: A recommender system for debugging. In Foundations of software engineering, 373\u2013382.","DOI":"10.1145\/1595696.1595766"},{"issue":"1","key":"9208_CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/640128.604140","volume":"38","author":"T. Ball","year":"2003","unstructured":"Ball, T., Naik, M., & Rajamani, S. K. (2003). From symptom to cause: Localizing errors in counterexample traces. SIGPLAN Notices, 38(1), 97\u2013105.","journal-title":"SIGPLAN Notices"},{"key":"9208_CR12","doi-asserted-by":"crossref","unstructured":"Barrantes, E. G., Ackley, D. H., Palmer, T. S., Stefanovic, D., & Zovi, D. D. (2003). Randomized instruction set emulation to disrupt binary code injection attacks. In Computer and communications security, 281\u2013289.","DOI":"10.1145\/948109.948147"},{"issue":"10","key":"9208_CR13","doi-asserted-by":"crossref","first-page":"3073","DOI":"10.1016\/j.cor.2007.01.010","volume":"35","author":"A. Barreto","year":"2008","unstructured":"Barreto, A., de Barros, O. M., & Werner, C. M. (2008). Staffing a software project: A constraint satisfaction and optimization-based approach. Computers and Operations Research, 35(10), 3073\u20133089.","journal-title":"Computers and Operations Research"},{"key":"9208_CR14","unstructured":"BBC News. (2008). Microsoft Zune affected by \u2018bug\u2019. http:\/\/news.bbc.co.uk\/2\/hi\/technology\/7806683.stm ."},{"key":"9208_CR15","volume-title":"Extreme programming explained: Embrace change","author":"K. Beck","year":"2000","unstructured":"Beck, K. (2000). Extreme programming explained: Embrace change. Reading: Addison-Wesley."},{"key":"9208_CR16","volume-title":"Testing object-oriented systems: Models, patterns, and tools","author":"R. V. Binder","year":"1999","unstructured":"Binder, R. V. (1999). Testing object-oriented systems: Models, patterns, and tools. Reading: Addison-Wesley Longman Publishing Co., Inc."},{"key":"9208_CR17","doi-asserted-by":"crossref","unstructured":"Blackburn, S. M., Garner, R., Hoffman, C., Khan, A. M., McKinley, K. S., Bentzur, R., et\u00a0al. (2006). The DaCapo benchmarks: Java benchmarking development and analysis. In Object-oriented programming, systems, languages, and applications, 169\u2013190.","DOI":"10.1145\/1167473.1167488"},{"key":"9208_CR18","unstructured":"Bradbury, J. S., & Jalbert, K. (2010). Automatic repair of concurrency bugs. In: International symposium on search based software engineering\u2014fast abstracts, 1\u20132."},{"key":"9208_CR19","doi-asserted-by":"crossref","unstructured":"Buse, R. P. L., & Weimer, W. (2008). A metric for software readability. In International symposium on software testing and analysis, 121\u2013130.","DOI":"10.1145\/1390630.1390647"},{"key":"9208_CR20","doi-asserted-by":"crossref","unstructured":"Buse, R. P. L., & Weimer, W. (2010). Automatically documenting program changes. In Automated software engineering, 33\u201342.","DOI":"10.1145\/1858996.1859005"},{"key":"9208_CR21","doi-asserted-by":"crossref","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P. M., Dill, D. L., & Engler, D. R. (2006) EXE: Automatically generating inputs of death. In Computer and communications security, 322\u2013335.","DOI":"10.1145\/1180405.1180445"},{"key":"9208_CR22","doi-asserted-by":"crossref","unstructured":"Carbin, M., Misailovic, S., Kling, M., & Rinard, M. C. (2011) Detecting and escaping infinite loops with Jolt. In European conference on object oriented programming.","DOI":"10.1007\/978-3-642-22655-7_28"},{"key":"9208_CR23","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Gorla, A., Mattavelli, A., Perino, N., Pezz\u00e8, M. (2013). Automatic recovery from runtime failures. In International conference on sofware engineering.","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"9208_CR24","doi-asserted-by":"crossref","unstructured":"Chaki, S., Groce, A., & Strichman, O. (2004). Explaining abstract counterexamples. In Foundations of software engineering, 73\u201382.","DOI":"10.1145\/1029894.1029908"},{"key":"9208_CR25","doi-asserted-by":"crossref","unstructured":"Chen, M. Y., Kiciman, E., Fratkin, E., Fox, A., & Brewer, E. (2002). Pinpoint: Problem determination in large, dynamic Internet services. In International conference on dependable systems and networks, 595\u2013604.","DOI":"10.1109\/DSN.2002.1029005"},{"key":"9208_CR26","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Zeller, A., & Meyer, B. (2009). Generating fixes from object behavior anomalies. In Automated software engineering, 550\u2013554.","DOI":"10.1109\/ASE.2009.15"},{"key":"9208_CR27","doi-asserted-by":"crossref","unstructured":"Debroy, V., & Wong, W. E. (2010). Using mutation to automatically suggest fixes for faulty programs. In International conference on software testing, verification, and validation, 65\u201374.","DOI":"10.1109\/ICST.2010.66"},{"key":"9208_CR28","doi-asserted-by":"crossref","unstructured":"Demsky, B., Ernst, M. D., Guo, P. J., McCamant, S., Perkins, J. H., & Rinard, M. C. (2006) Inference and enforcement of data structure consistency specifications. In International symposium on software testing and analysis.","DOI":"10.1145\/1146238.1146266"},{"key":"9208_CR29","doi-asserted-by":"crossref","unstructured":"Elkarablieh, B., & Khurshid, S. (2008). Juzi: A tool for repairing complex data structures. In International conference on software engineering, 855\u2013858.","DOI":"10.1145\/1368088.1368222"},{"key":"9208_CR30","doi-asserted-by":"crossref","unstructured":"Engler, D. R., Chen, D. Y., & Chou, A. (2001). Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Symposium on operating systems principles.","DOI":"10.1145\/502059.502041"},{"key":"9208_CR31","doi-asserted-by":"crossref","unstructured":"Ernst, M. D., Perkins, J. H., Guo, P. J., McCamant, S., Pacheco, C., Tschantz, M. S., & Xiao, C. (2007). The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 69(1\u20133), 35\u201345.","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"9208_CR32","doi-asserted-by":"crossref","unstructured":"Fast, E., Le Goues, C., Forrest, S., & Weimer, W. (2010). Designing better fitness functions for automated program repair. In Genetic and evolutionary computation conference, 965\u2013972.","DOI":"10.1145\/1830483.1830654"},{"key":"9208_CR33","first-page":"872","volume":"261","author":"S. Forrest","year":"1993","unstructured":"Forrest, S. (1993). Genetic algorithms: Principles of natural selection applied to computation. Science, 261, 872\u2013878.","journal-title":"HortScience"},{"key":"9208_CR34","doi-asserted-by":"crossref","unstructured":"Forrest, S., Weimer, W., Nguyen, T., & Le Goues, C. (2009). A genetic programming approach to automated software repair. In Genetic and evolutionary computation conference, 947\u2013954.","DOI":"10.1145\/1569901.1570031"},{"issue":"2","key":"9208_CR35","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.2011.93","volume":"38","author":"G. Fraser","year":"2012","unstructured":"Fraser, G., & Zeller, A. (2012). Mutation-driven generation of unit tests and oracles. Transactions on Software Engineering, 38(2), 278\u2013292.","journal-title":"Transactions on Software Engineering"},{"key":"9208_CR36","doi-asserted-by":"crossref","unstructured":"Fraser, G., & Zeller, A. (2011). Generating parameterized unit tests. In International symposium on software testing and analysis, 364\u2013374.","DOI":"10.1145\/2001420.2001464"},{"key":"9208_CR37","doi-asserted-by":"crossref","unstructured":"Fry, Z. P., Landau, B., & Weimer, W. (2012). A human study of patch maintainability. In M. P. E. Heimdahl, & Su, Z., (Eds.), International symposium on software testing and analysis, 177\u2013187.","DOI":"10.1145\/2338965.2336775"},{"key":"9208_CR38","doi-asserted-by":"crossref","unstructured":"Gabel, M., & Su, Z. (2012). Testing mined specifications. In Foundations of software engineering, ACM, 1\u201311.","DOI":"10.1145\/2393596.2393598"},{"key":"9208_CR39","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., & Sen, K. (2005). Dart: Directed automated random testing. In Programming language design and implementation, 213\u2013223.","DOI":"10.1145\/1065010.1065036"},{"key":"9208_CR40","doi-asserted-by":"crossref","unstructured":"Gopinath, D., Malik, M. Z., & Khurshid, S. (2011). Specification-based program repair using sat. In Tools and algorithms for the construction and analysis of systems. Volume 6605 of lecture notes in computer science. Springer, 173\u2013188.","DOI":"10.1007\/978-3-642-19835-9_15"},{"issue":"2","key":"9208_CR41","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.entcs.2004.12.023","volume":"119","author":"A. Groce","year":"2005","unstructured":"Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Electronic Notes in Theoretical Computer Science, 119(2), 67\u201381.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"5","key":"9208_CR42","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/1735223.1735248","volume":"53","author":"M. Harman","year":"2010","unstructured":"Harman, M. (2010). Automated patching techniques: The fix is in (technical perspective). Communications of the ACM, 53(5), 108.","journal-title":"Communications of the ACM"},{"key":"9208_CR43","doi-asserted-by":"crossref","unstructured":"Harman, M. (2007). The current state and future of search based software engineering. In International conference on software engineering, 342\u2013357.","DOI":"10.1109\/FOSE.2007.29"},{"key":"9208_CR44","doi-asserted-by":"crossref","unstructured":"He, H., & Gupta, N. (2004). Automated debugging using path-based weakest preconditions. In Fundamental approaches to software engineering, 267\u2013280.","DOI":"10.1007\/978-3-540-24721-0_20"},{"key":"9208_CR45","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 International conference on software engineering 191\u2013200.","DOI":"10.1109\/ICSE.1994.296778"},{"key":"9208_CR46","doi-asserted-by":"crossref","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.","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"9208_CR47","doi-asserted-by":"crossref","unstructured":"Jhala, R., & Majumdar, R. (2005). Path slicing. In Programming language design and implementation. New York, NY: ACM Press, 38\u201347.","DOI":"10.1145\/1065010.1065016"},{"key":"9208_CR48","unstructured":"Jia, Y., & Harman, M. (2010). An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 99 (PrePrints)."},{"key":"9208_CR49","doi-asserted-by":"crossref","unstructured":"Jin, G., Song, L., Zhang, W., Lu, S., & Liblit, B. (2011). Automated atomicity-violation fixing. In Programming language design and implementation.","DOI":"10.1145\/1993498.1993544"},{"key":"9208_CR50","unstructured":"Jones, T., & Forrest, S. (1995). Fitness distance correlation as a measure of problem difficulty for genetic algorithms. In International conference on genetic algorithms, 184\u2013192."},{"key":"9208_CR51","doi-asserted-by":"crossref","unstructured":"Jones, J. A., & Harrold, M. J. (2005). Empirical evaluation of the Tarantula automatic fault-localization technique. In Automated software engineering, 273\u2013282.","DOI":"10.1145\/1101908.1101949"},{"key":"9208_CR52","doi-asserted-by":"crossref","unstructured":"Kim, D., Nam, J., Song, J., & Kim, S. (2013). Automatic patch generation learned from human-written patches. In International conference on sofware engineering.","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"9208_CR53","volume-title":"Genetic programming: On the programming of computers by means of natural selection","author":"J. R. Koza","year":"1922","unstructured":"Koza, J.R. (1922). Genetic programming: On the programming of computers by means of natural selection. Cambridge: MIT Press."},{"key":"9208_CR54","unstructured":"Koza, J. R. (2009). Awards for human-competitive results produced by genetic and evolutionary computation. http:\/\/www.genetic-programming.org\/hc2009\/cfe2009.html ."},{"key":"9208_CR55","doi-asserted-by":"crossref","unstructured":"Lakhotia, K., Harman, M., & McMinn, P. (2007). A multi-objective approach to search-based test data generation. In Genetic and evolutionary computation conference, 1098\u20131105.","DOI":"10.1145\/1276958.1277175"},{"key":"9208_CR56","doi-asserted-by":"crossref","unstructured":"Langdon, W. B., & Harman, M. (2010). Evolving a CUDA kernel from an nVidia template. In Congress on evolutionary computation, 1\u20138.","DOI":"10.1109\/CEC.2010.5585922"},{"key":"9208_CR57","unstructured":"Lanza, M., Penta, M. D., Xi, T., (Eds). (2012). IEEE working conference o mining software repositories. MSR, IEEE."},{"issue":"1","key":"9208_CR58","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1109\/TSE.2011.5","volume":"38","author":"C. Le Goues","year":"2012","unstructured":"Le Goues, C., & Weimer, W. (2012). Measuring code quality to improve specification mining. IEEE Transactions on Software Engineering, 38(1), 175\u2013190.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"9208_CR59","doi-asserted-by":"crossref","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. (2012a). GenProg: A generic method for automated software repair. Transactions on Software Engineering, 38(1), 54\u201372.","journal-title":"Transactions on Software Engineering"},{"key":"9208_CR60","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Forrest, S., & Weimer, W. (2010). The case for software evolution. In Workshop on the future of software engineering research, 205\u2013210.","DOI":"10.1145\/1882362.1882406"},{"key":"9208_CR61","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Dewey-Vogt, M., Forrest, S., & Weimer, W. (2012b). A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In International conference on software engineering, 3\u201313.","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"9208_CR62","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Forrest, S., & Weimer, W. (2012c). Representations and operators for improving evolutionary software repair. In Genetic and evolutionary computation conference, 959\u2013966.","DOI":"10.1145\/2330163.2330296"},{"key":"9208_CR63","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A. X., & Jordan, M. I. (2003). Bug isolation via remote program sampling. In Programming language design and implementation, 141\u2013154.","DOI":"10.1145\/781131.781148"},{"key":"9208_CR64","doi-asserted-by":"crossref","unstructured":"Liblit, B., Naik, M., Zheng, A. X., Aiken, A., & Jordan, M. I. (2005). Scalable statistical bug isolation. In Programming language design and implementation, 15\u201326.","DOI":"10.1145\/1065010.1065014"},{"key":"9208_CR65","doi-asserted-by":"crossref","unstructured":"Liu, P., & Zhang, C. (2012). Axis: Automatically fixing atomicity violations through solving control constraints. In: International conference on software engineering, 299\u2013309.","DOI":"10.1109\/ICSE.2012.6227184"},{"issue":"4","key":"9208_CR66","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T. J. McCabe","year":"1976","unstructured":"McCabe, T. J. (1976). A complexity measure. IEEE Transactions on Software Engineering, 2(4), 308\u2013320.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"9208_CR67","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"C. C. Michael","year":"2001","unstructured":"Michael, C. C., McGraw, G., & Schatz, M. A. (2001). Generating software test data by evolution. IEEE Transactions on Software Engineering, 27(12), 1085\u20131110.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"9208_CR68","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1162\/evco.1996.4.2.113","volume":"4","author":"B. L. Miller","year":"1996","unstructured":"Miller, B. L., & Goldberg, D. E. (1996). Genetic algorithms, selection schemes, and the varying effects of noise. Evolutionary Computing, 4(2), 113\u2013131.","journal-title":"Evolutionary Computing"},{"key":"9208_CR69","doi-asserted-by":"crossref","unstructured":"Necula, G. C. (1997). Proof-carrying code. In Principles of programming languages. New York, NY: ACM, 106\u2013119.","DOI":"10.1145\/263699.263712"},{"key":"9208_CR70","doi-asserted-by":"crossref","unstructured":"Nguyen, T., Kapur, D., Weimer, W., & Forrest, S. (2012) Using dynamic analysis to discover polynomial and array invariants. In International conference on software engineering, 683\u2013693.","DOI":"10.1109\/ICSE.2012.6227149"},{"key":"9208_CR71","doi-asserted-by":"crossref","unstructured":"Nguyen, H. D. T., Qi, D., Roychoudhury, A., & Chandra, S. (2013). SemFix: Program repair via semantic analysis. In International conference on sofware engineering, 772\u2013781.","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"9208_CR72","unstructured":"Nullhttpd. (2002). Bug: http:\/\/nvd.nist.gov\/nvd.cfm?cvename=CVE-2002-1496 . Exploit: http:\/\/www.mail-archive.com\/bugtraq@securityfocus.com\/msg09178.html ."},{"issue":"2","key":"9208_CR73","doi-asserted-by":"crossref","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. Transactions on Evolutionary Computation, 15(2), 166\u2013192.","journal-title":"Transactions on Evolutionary Computation"},{"key":"9208_CR74","doi-asserted-by":"crossref","unstructured":"Orlov, M., & Sipper, M. (2009) Genetic programming in the wild: Evolving unrestricted bytecode. In Genetic and evolutionary computation conference, 1043\u20131050.","DOI":"10.1145\/1569901.1570042"},{"issue":"5","key":"9208_CR75","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/52.965810","volume":"18","author":"G. Palshikar","year":"2001","unstructured":"Palshikar, G. (2001). Applying formal specifications to real-world software development. IEEE Software, 18(5), 89\u201397.","journal-title":"IEEE Software"},{"key":"9208_CR76","doi-asserted-by":"crossref","unstructured":"Perkins, J. H., Kim, S., Larsen, S., Amarasinghe, S., Bachrach, J., Carbin, M., et\u00a0al. (2009). Automatically patching errors in deployed software. In Symposium on operating systems principles.","DOI":"10.1145\/1629575.1629585"},{"key":"9208_CR77","unstructured":"Rinard, M. C., Cadar, C., Dumitran, D., Roy, D. M., Leu, T., & Beebee, W. S. (2004). Enhancing server availability and security through failure-oblivious computing. In Operating systems design and implementation, 303\u2013316."},{"key":"9208_CR78","unstructured":"Robillard, M. P., Bodden, E., Kawrykow, D., Mezini, M., & Ratchford, T. (2012). Automated API property inference techniques. Transactions on Software Engineering, 99 (PP)."},{"key":"9208_CR79","unstructured":"Rowe, J. E., & McPhree, N. F. (2001) The effects of crossover and mutation operators on variable length linear structures. In Genetic and evolutionary computation conference, 535\u2013542."},{"key":"9208_CR80","doi-asserted-by":"crossref","unstructured":"Saha, D., Nanda, M. G., Dhoolia, P., Nandivada, V. K., Sinha, V., & Chandra, S. (2011). Fault localization for data-centric programs. In Foundations of software engineering.","DOI":"10.1145\/2025113.2025137"},{"key":"9208_CR81","unstructured":"Schulte, E., Forrest, S., & Weimer, W. (2010). Automatic program repair through the evolution of assembly code. In Automated software engineering, 33\u201336."},{"key":"9208_CR82","unstructured":"Schulte, E., Fry, Z. P., Fast, E., Forrest, S., & Weimer, W. (2012). Software mutational robustness: Bridging the gap between mutation testing and evolutionary biology. CoRR abs\/1204.4224."},{"key":"9208_CR83","doi-asserted-by":"crossref","unstructured":"Schulte, E., DiLorenzo, J., Forrest, S., & Weimer, W. (2013). Automated repair of binary and assembly programs for cooperating embedded devices. In Architectural support for programming languages and operating systems.","DOI":"10.1145\/2451116.2451151"},{"key":"9208_CR84","volume-title":"Modernizing legacy systems: Software technologies, engineering process and business practices","author":"R. C. Seacord","year":"2003","unstructured":"Seacord, R. C., Plakosh, D., & Lewis, G. A. (2003). Modernizing legacy systems: software technologies, engineering process and business practices. Reading: Addison-Wesley Longman Publishing Co. Inc."},{"key":"9208_CR85","doi-asserted-by":"crossref","unstructured":"Sen, K. (2007). Concolic testing. In Automated software engineering, 571\u2013572.","DOI":"10.1145\/1321631.1321746"},{"key":"9208_CR86","doi-asserted-by":"crossref","unstructured":"Seng, O., Stammel, J., & Burkhart, D. (2006). Search-based determination of refactorings for improving the class structure of object-oriented systems. In Genetic and evolutionary computation conference, 1909\u20131916.","DOI":"10.1145\/1143997.1144315"},{"issue":"6","key":"9208_CR87","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MSP.2005.144","volume":"3","author":"S. Sidiroglou","year":"2005","unstructured":"Sidiroglou, S., & Keromytis, A. D. (2005). Countering network worms through automatic patch generation. IEEE Security and Privacy, 3(6), 41\u201349.","journal-title":"IEEE Security and Privacy"},{"key":"9208_CR88","doi-asserted-by":"crossref","unstructured":"Sidiroglou, S., Giovanidis, G., & Keromytis, A. D. (2005). A dynamic mechanism for recovering from buffer overflow attacks. In Information security, 1\u201315.","DOI":"10.1007\/11556992_1"},{"key":"9208_CR89","doi-asserted-by":"crossref","unstructured":"Sitthi-Amorn, P., Modly, N., Weimer, W., & Lawrence, J. (2011). Genetic programming for shader simplification. ACM Transactions on Graphics, 30(5).","DOI":"10.1145\/2070781.2024186"},{"key":"9208_CR90","unstructured":"Smirnov, A., & Chiueh, T. C. (2005). Dira: Automatic detection, identification and repair of control-hijacking attacks. In Network and distributed system security symposium."},{"key":"9208_CR91","unstructured":"Smirnov, A., Lin, R., & Chiueh, T. C. (2006). PASAN: Automatic patch and signature generation for buffer overflow attacks. In Systems and information security, 165\u2013170."},{"key":"9208_CR92","doi-asserted-by":"crossref","unstructured":"von Laszewski, G., Fox, G., Wang, F., Younge, A., Kulshrestha, A., Pike, G., et\u00a0al. (2010). Design of the futuregrid experiment management framework. In Gateway computing environments workshop, 1\u201310.","DOI":"10.1109\/GCE.2010.5676126"},{"key":"9208_CR93","doi-asserted-by":"crossref","unstructured":"Wappler, S., & Wegener, J. (2006). Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In Genetic and evolutionary computation conference, 1925\u20131932.","DOI":"10.1145\/1143997.1144317"},{"key":"9208_CR94","doi-asserted-by":"crossref","unstructured":"Wei, Y., Pei, Y., Furia, C. A., Silva, L. S., Buchholz, S., Meyer, B., & Zeller, A. (2010). Automated fixing of programs with contracts. In International symposium on software testing and analysis, 61\u201372.","DOI":"10.1145\/1831708.1831716"},{"key":"9208_CR95","doi-asserted-by":"crossref","unstructured":"Weimer, W. (2006). Patches as better bug reports. In Generative programming and component engineering, 181\u2013190.","DOI":"10.1145\/1173706.1173734"},{"key":"9208_CR96","doi-asserted-by":"crossref","unstructured":"Weimer, W., & Necula, G. C. (2005). Mining temporal specifications for error detection. In Tools and algorithms for the construction and analysis of systems, 461\u2013476.","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"9208_CR97","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., & Forrest, S. (2009). Automatically finding patches using genetic programming. In International conference on software engineering, 364\u2013367.","DOI":"10.1109\/ICSE.2009.5070536"},{"issue":"4","key":"9208_CR98","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1109\/TEVC.2010.2083669","volume":"15","author":"D. R. White","year":"2011","unstructured":"White, D. R., Arcuri, A., & Clark, J. A. (2011). Evolutionary improvement of programs. Transactions on Evolutionary Computation, 15(4), 515\u2013538.","journal-title":"Transactions on Evolutionary Computation"},{"key":"9208_CR99","doi-asserted-by":"crossref","unstructured":"Wilkerson, J. L., & Tauritz, D. R. (2011). A guide for fitness function design. In Genetic and evolutionary computation conference, 123\u2013124.","DOI":"10.1145\/2001858.2001929"},{"key":"9208_CR100","doi-asserted-by":"crossref","unstructured":"Wilkerson, J. L., Tauritz, D. R., & Bridges, J. M. (2012). Multi-objective coevolutionary automated software correction. In Genetic and evolutionary computation conference, 1229\u20131236.","DOI":"10.1145\/2330163.2330333"},{"key":"9208_CR101","doi-asserted-by":"crossref","unstructured":"Yin, X., Knight, J. C., & Weimer, W. (2009). Exploiting refactoring in formal verification. In International conference on dependable systems and networks, 53\u201362.","DOI":"10.1109\/DSN.2009.5270355"},{"key":"9208_CR102","doi-asserted-by":"crossref","unstructured":"Yin, Z., Yuan, D., Zhou, Y., Pasupathy, S., & Bairavasundaram, L. N. (2011). How do fixes become bugs? In: Foundations of software engineering, 26\u201336.","DOI":"10.1145\/2025113.2025121"},{"key":"9208_CR103","unstructured":"Zeller, A. (1999). Yesterday, my program worked. Today, it does not. Why? In Foundations of software engineering."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-013-9208-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-013-9208-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-013-9208-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T22:00:37Z","timestamp":1595887237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-013-9208-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,7]]},"references-count":103,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["9208"],"URL":"https:\/\/doi.org\/10.1007\/s11219-013-9208-0","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,7]]}}}