{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:21:30Z","timestamp":1762917690299},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,7,2]],"date-time":"2016-07-02T00:00:00Z","timestamp":1467417600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10489-016-0804-0","type":"journal-article","created":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T23:24:44Z","timestamp":1467415484000},"page":"1066-1088","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Automated program repair using genetic programming and model checking"],"prefix":"10.1007","volume":"45","author":[{"given":"Zahra","family":"Zojaji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrouz Tork","family":"Ladani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alireza","family":"Khalilian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,2]]},"reference":[{"key":"804_CR1","doi-asserted-by":"crossref","unstructured":"Ammann P, Offutt J (2008) Introduction to software testing. Cambridge University Press","DOI":"10.1017\/CBO9780511809163"},{"key":"804_CR2","doi-asserted-by":"crossref","unstructured":"Wilkerson JL, Tauritz DR, Bridges JM (2012) Multi-objective coevolutionary automated software correction. In: Proceedings of the 14th annual conference on Genetic and evolutionary computation. ACM, pp 1229\u20131236","DOI":"10.1145\/2330163.2330333"},{"key":"804_CR3","unstructured":"Ballou MC (2008) Improving software quality to drive business agility. White paper, International Data Corporation"},{"key":"804_CR4","doi-asserted-by":"crossref","unstructured":"Yin Z, Yuan D, Zhou Y, Pasupathy S, Bairavasundaram LN (2011) How do fixes become bugs?. In: Foundations of Software Engineering, pp 26\u201336","DOI":"10.1145\/2025113.2025121"},{"key":"804_CR5","volume-title":"Dynamic State Alteration Techniques for Automatically Locating Software Errors","author":"DB Jeffrey","year":"2009","unstructured":"Jeffrey DB (2009) Dynamic State Alteration Techniques for Automatically Locating Software Errors. Phd Thesis, University of California, Riverside"},{"key":"804_CR6","doi-asserted-by":"crossref","unstructured":"Kim D, Nam J, Song J, Kim S (2013) Automatic patch generation learned from human-written patches. In: proceedings of the International Conference on Software Engineering (ICSE \u201913). IEEE Press, NJ, USA, pp 802\u2013811","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"804_CR7","unstructured":"Le Goues C (2013) Automatic program repair using genetic programming. PhD Thesis, University of Virginia"},{"key":"804_CR8","doi-asserted-by":"crossref","unstructured":"Arcuri A, Yao X (2008) A novel co-evolutionary approach to automatic software bug fixing. In: IEEE Congress on Evolutionary Computation","DOI":"10.1109\/CEC.2008.4630793"},{"key":"804_CR9","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 (GECCO)","DOI":"10.1145\/1569901.1570031"},{"key":"804_CR10","doi-asserted-by":"crossref","unstructured":"Arcuri A (2008) On the automation of fixing software bugs. In: proceedings of the Doctoral Symposium of the IEEE International Conference on Software Engineering","DOI":"10.1145\/1370175.1370223"},{"key":"804_CR11","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","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"804_CR12","doi-asserted-by":"crossref","unstructured":"Nguyen T, Weimer W, Le Goues C, Forrest S (2009) Using execution paths to evolve software patches. In: IEEE international conference on software testing, Verification, and Validation Workshops, pp 152\u2013153","DOI":"10.1109\/ICSTW.2009.35"},{"key":"804_CR13","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, pp 299\u2013309","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"804_CR14","doi-asserted-by":"crossref","unstructured":"Dallmeier V, Zeller A, Meyer b. (2009) Generating fixes from object behavior anoMalies. In: IEEE Computer Society, pp 550\u2013554","DOI":"10.1109\/ASE.2009.15"},{"key":"804_CR15","doi-asserted-by":"crossref","unstructured":"Jin G, Song L, Zhang W, Lu S, Liblit B (2011) Automated atomicity-violation fixing. In: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI \u201911). ACM, NY, USA, pp 389\u2013400","DOI":"10.1145\/1993498.1993544"},{"key":"804_CR16","doi-asserted-by":"crossref","unstructured":"Perkins JH, Kim S, Larsen S, Amarasinghe S, Bachrach J, Carbin M, Pacheco C, Sherwood F, Sidiroglou S, Sullivan G, Wong W, Zibin Y, Ernst MD, Rinard M (2009) Automatically patching errors in deployed software. In: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles (SOSP \u201909). ACM, NY USA, pp 87\u2013102","DOI":"10.1145\/1629575.1629585"},{"key":"804_CR17","unstructured":"Bradbury JS, Jalbert K (2010) Automatic repair of concurrency bugs. In: International Symposium on Search Based Software Engineering - Fast Abstracts, pp 1\u20132"},{"key":"804_CR18","doi-asserted-by":"crossref","unstructured":"Staber S, Jobstmann B, Bloem R (2005) Finding and fixing faults. In: Conference on Correct Hardware Design and Verification Methods (CHARME), pp 35\u201349","DOI":"10.1007\/11560548_6"},{"key":"804_CR19","unstructured":"Dennis LA, Monroy R, Nogueira P (2006) Proof-directed debugging and repair. In: Seventh Symposium on Trends in Functional Programming, pp 131\u2013140"},{"key":"804_CR20","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, pp 233\u2013244","DOI":"10.1145\/1146238.1146266"},{"issue":"2","key":"804_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.jss.2005.02.027","volume":"78","author":"P Deeprasertkul","year":"2005","unstructured":"Deeprasertkul P, Bhattarakosol P, O\u2019Brien F (2005) Automatic detection and correction of programming faults for software applications. J Syst Softw 78(2):101\u2013110","journal-title":"J Syst Softw"},{"issue":"1","key":"804_CR22","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 (2012) Genprog a generic method for automatic software repair. IEEE Trans Softw Eng 38(1):54\u201372","journal-title":"IEEE Trans Softw Eng"},{"key":"804_CR23","doi-asserted-by":"crossref","unstructured":"Le Goues C, Dewey-Vogt M, Forrest S, Weimer W (2012) A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each. In: Proceedings of the 34th International Conference on Software Engineering (ICSE \u201912). IEEE Press, pp 3\u201313","DOI":"10.1109\/ICSE.2012.6227211"},{"issue":"1","key":"804_CR24","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2166\/hydro.2000.0004","volume":"2","author":"V Babovic","year":"2000","unstructured":"Babovic V, Keijzer M (2000) Genetic programming as a model induction engine. J Hydro Inf 2(1):35\u201360","journal-title":"J Hydro Inf"},{"issue":"1","key":"804_CR25","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10115-003-0093-x","volume":"6","author":"WY Lin","year":"2004","unstructured":"Lin WY, Kuo IC (2004) A genetic selection algorithm for OLAP data cubes. Knowl Inf Syst 6(1):83\u2013102","journal-title":"Knowl Inf Syst"},{"issue":"2","key":"804_CR26","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s10115-004-0184-3","volume":"8","author":"K Rodriguez-Vazquez","year":"2005","unstructured":"Rodriguez-Vazquez K, Fleming PJ (2005) Evolution of mathematical models of chaotic systems based on multiobjective genetic programming. Knowl Inf Syst 8(2):235\u2013256","journal-title":"Knowl Inf Syst"},{"key":"804_CR27","first-page":"2","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser W, Havelund K, Brat G, Park SJ, Lerda F (2003) Model checking programs. Autom Softw Eng J 10:2","journal-title":"Autom Softw Eng J"},{"key":"804_CR28","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1090\/S0002-9947-1953-0053041-6","volume":"74","author":"HG Rice","year":"1953","unstructured":"Rice HG (1953) Classes of recursively enumerable sets and their decision problems. Trans Am Math Soc 74:358\u2013366","journal-title":"Trans Am Math Soc"},{"key":"804_CR29","doi-asserted-by":"crossref","unstructured":"Weimer W (2013) Advances in automated program repair and a call to arms. In: Proceedings of symposium on search based software engineering (SSBSE 2013), vol 8084, pp 1\u20133","DOI":"10.1007\/978-3-642-39742-4_1"},{"key":"804_CR30","unstructured":"Koza JR (1989) Hierarchical genetic algorithms operation on populations of computer programs. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp 768\u2013774"},{"issue":"2","key":"804_CR31","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"Montana DJ (1995) Strongly typed genetic algorithm. Evol Comput 3(2):199\u2013230","journal-title":"Evol Comput"},{"key":"804_CR32","volume-title":"Genetic programming IV Routine human-competitive machine intelligence","author":"JR Koza","year":"2003","unstructured":"Koza JR, Keane MA, Streeter MJ, Mydlowec W, Yu J, Lanza G (2003) Genetic programming IV Routine human-competitive machine intelligence. Kluwer Academic Publishers, Boston MA"},{"key":"804_CR33","unstructured":"Haynes TD, Schoenfeld DA, Wainwright RL (1996) Type inheritance in strongly typed genetic programming. In: Angeline PJ, Kinnear KE Jr. (eds) Advances in Genetic Programming. MIT Press Cambridge, MA, pp 359\u2013375"},{"issue":"1","key":"804_CR34","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S1568-4946(01)00009-6","volume":"1","author":"A Ratle","year":"2001","unstructured":"Ratle A, Sebag M (2001) Grammar-guided genetic programming and dimensional consistency: Application to non-parametric identification in mechanics. Appl Soft Comput 1(1):105\u2013 118","journal-title":"Appl Soft Comput"},{"key":"804_CR35","doi-asserted-by":"crossref","unstructured":"Clarke E, Filkorn T, Jha S (1993) Exploiting symmetry in temporal logic model checking. In: Proceedings of the Fifth International Conference for Computer-Aided Verification, vol 697. Lecture Notes in Computer Science","DOI":"10.1007\/3-540-56922-7_37"},{"key":"804_CR36","unstructured":"Baier C, Katoen J (2008) Principles of model checking. MIT Press"},{"key":"804_CR37","doi-asserted-by":"crossref","unstructured":"Leue S, Holzmann G (1999) V-promela: A visual, object-oriented language for Spin. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, (ISORC\u201999) Proceedings","DOI":"10.1109\/ISORC.1999.776345"},{"key":"804_CR38","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"804_CR39","doi-asserted-by":"crossref","unstructured":"Emerson E, Sistla A (1993) Symmetry and model checking. In: CAV \u201993: 5th International Conference on Computer Aided Verification, Vol. 697 of Lecture Notes in Computer Science","DOI":"10.1007\/3-540-56922-7_38"},{"key":"804_CR40","unstructured":"Clarke E, Emerson E, Jha S, Sistla A (1998) Lect Notes Comput Sci"},{"key":"804_CR41","unstructured":"Ip C, Dill D (1993) Better verification through symmetry. Inproceedings of the Eleventh International Symposium on Computer Hardware Description Languages and their Application, North Holland"},{"key":"804_CR42","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp 238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"804_CR43","doi-asserted-by":"crossref","unstructured":"Clarke E, Fujita M, Rajan S, Reps T, Shankar S, Teitelbaum T. (1999) Program slicing of hardware description languages. Technical Report CMU-CS-99-103, Carnegie Mellon University, School of Computer Science","DOI":"10.21236\/ADA363556"},{"key":"804_CR44","doi-asserted-by":"crossref","unstructured":"Hatcliff J, Corbett J, Dwyer M, Sokolowski S, Zheng H (1999) A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. In: Proceedings on the 1999 International Symposium on Static Analysis, pp 1\u201318","DOI":"10.1007\/3-540-48294-6_1"},{"key":"804_CR45","unstructured":"Millett LI, Teitelbaum T (1998) Slicing Promela and its Application to Model Checking, Simulation, and Protocol Understanding. In: Proceedings of the 4th International SPIN Workshop"},{"issue":"4","key":"804_CR46","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P (1997) Eraser a dynamic data race detector for multithreaded programs. ACM Trans Comput Syst 15(4):391\u2013411","journal-title":"ACM Trans Comput Syst"},{"key":"804_CR47","unstructured":"Dennis LA (2006) Program slicing and middle-out reasoning for error location and repair. In: Disproving: Non-Theorems, Non-Validity and Non-Provability"},{"key":"804_CR48","unstructured":"Stumptner M, Wotawa F Model-based program debugging and repair. In: Proceedings of the International Conference on Industrial and Engineering Application of Artificial Intelligence and Expert Systems"},{"key":"804_CR49","doi-asserted-by":"crossref","unstructured":"Wang F, Cheng CH (2008) Program repair suggestions from graphical state-transition specifications. In: Proceedings of the International conference on Formal Techniques for Networked and Distributed Systems, pp 185\u2013200","DOI":"10.1007\/978-3-540-68855-6_12"},{"key":"804_CR50","doi-asserted-by":"crossref","unstructured":"Johnson CG (2007) Genetic programming with fitness based on model checking. In: EuroGP 2007, LNCS, vol 4445. Springer, pp 114--124","DOI":"10.1007\/978-3-540-71605-1_11"},{"key":"804_CR51","doi-asserted-by":"crossref","unstructured":"Katz G, Peled D (2008) Genetic programming and model checking: Synthesizing new mutual exclusion algorithms. In: ATVA, Vol. 5311 of LNCS, pp 33\u201347","DOI":"10.1007\/978-3-540-88387-6_5"},{"key":"804_CR52","doi-asserted-by":"crossref","unstructured":"Katz G, Peled D (2008) Model checking-based genetic programming with an application to mutual exclusion. In: TACAS, Vol. 4963 of LNCS, pp 141\u2013156","DOI":"10.1007\/978-3-540-78800-3_11"},{"key":"804_CR53","doi-asserted-by":"crossref","unstructured":"Katz G, Peled D (2010) Code mutation in verification and automatic code correction. In: TACAS, Lecture Notes in Computer Science, vol 6051. Springer, pp 435--450","DOI":"10.1007\/978-3-642-12002-2_36"},{"key":"804_CR54","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 MA"},{"key":"804_CR55","doi-asserted-by":"crossref","unstructured":"McKay B, Willis MJ, Barton G.W (1995) Using a tree structured genetic algorithm to perform symbolic regression. In: First International Conference on Genetic Algorithms in Engineering Systems: Innovations and Applications, Sheffield, UK, pp 487--492","DOI":"10.1049\/cp:19951096"},{"key":"804_CR56","unstructured":"Chellapilla K (1998) A preliminary investigation into evolving modular programs without subtree crossover. In: genetic programming proceedings of the third annual conference, vol 1998. Morgan Kaufmann, Wisconsin, pp 22\u201325"},{"key":"804_CR57","unstructured":"Riccardo P, McPhe N, Vanneschi L (2008) Elitism reduces bloat in genetic programming. In: Genetic and Evolutionary Computation Conference (GECCO)"},{"key":"804_CR58","doi-asserted-by":"crossref","unstructured":"Penix J, Visser W, Engstrom E, Larson A, Weininger N (2000) Verification of Time Partitioning in the DEOS Scheduler Kernel. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limeric, Ireland","DOI":"10.1145\/337180.337364"},{"key":"804_CR59","doi-asserted-by":"crossref","unstructured":"Brat G, Giannakopoulou D, Goldberg A, Havelund K, Lowry M, Pasareanu C, Venet A, Visser W, Washington R (2003) Experimental evaluation of verification and validation tools on martian rover software. In: Proceedings of the SEI\/CM Software Model Checking Workshop, Pittsburgh","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"key":"804_CR60","unstructured":"Raynal M (1986) Algorithms for mutual exclusion. MIT Press"},{"key":"804_CR61","unstructured":"Britton T, Jeng L, Carver G, Cheak P, Katzenellenbogen T (2013) Reversible debugging software. Technical Report, University of Cambridge Judge Business School"},{"key":"804_CR62","unstructured":"Clarke EM, Grumberg O, Peled D (1999) Model checking. MIT Press"},{"issue":"4","key":"804_CR63","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. Appl Soft Comput 11(4):3494\u20133514","journal-title":"Appl Soft Comput"},{"key":"804_CR64","doi-asserted-by":"crossref","unstructured":"Weimer W (2013) Advances in automated program repair and a call to arms. In: The 5th International Symposium on Search Based Software Engineering (SSBSE), St. Petersburg, Russia, pp 1\u20133","DOI":"10.1007\/978-3-642-39742-4_1"},{"key":"804_CR65","unstructured":"Barnes JGP (2003) High integrity software: the spark approach to safety and security: sample chapters. Pearson Education"},{"key":"804_CR66","doi-asserted-by":"crossref","unstructured":"De Moura L, Bj\u00f8rner N (2008) Z3: An efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"804_CR67","doi-asserted-by":"crossref","unstructured":"Flanagan C, Leino KRM, Lillibridge M, Nelson G, Saxe JB, Stata R (2002) Extended static checking for Java. In: Programming Language Design and Implementation, pp 234\u2013245","DOI":"10.1145\/512529.512558"},{"key":"804_CR68","doi-asserted-by":"crossref","unstructured":"Weimer W (2006) Patches as better bug reports. In: Proceedings of the 5th international conference on Generative programming and component engineering. ACM, pp 181\u2013190","DOI":"10.1145\/1173706.1173734"},{"key":"804_CR69","doi-asserted-by":"crossref","unstructured":"Myers GJ, Sandler C, Badgett T (2011) The art of software testing. Wiley","DOI":"10.1002\/9781119202486"},{"key":"804_CR70","doi-asserted-by":"crossref","unstructured":"Penix J (2012) Large-scale test automation in the cloud (invited industrial talk). In: 2012 34th International Conference on Software Engineering (ICSE). IEEE, pp 1122\u20131122","DOI":"10.1109\/ICSE.2012.6227247"},{"key":"804_CR71","doi-asserted-by":"crossref","unstructured":"Smith EK, Barr ET, Le Goues C, Brun Y (2015) Is the cure worse than the disease? overfitting in automated program repair. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. ACM, pp 532\u2013543","DOI":"10.1145\/2786805.2786825"},{"key":"804_CR72","doi-asserted-by":"crossref","unstructured":"Le Goues C, Weimer W, Forrest S (2012) Representations and operators for improving evolutionary software repair. In: Proceedings of the 14th annual conference on Genetic and evolutionary computation. ACM, pp 959\u2013966","DOI":"10.1145\/2330163.2330296"},{"issue":"5","key":"804_CR73","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1109\/TSE.2014.2312918","volume":"40","author":"YU Pei","year":"2014","unstructured":"Pei YU, Furia C, Nordio M, Yi Wei, Meyer B, Zeller A (2014) Automated fixing of programs with contracts. IEEE Trans Softw Eng 40(5):427\u2013449","journal-title":"IEEE Trans Softw Eng"},{"key":"804_CR74","doi-asserted-by":"crossref","unstructured":"Le Goues C, Holtschulte N, Smith E, 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, In Press","DOI":"10.1109\/TSE.2015.2454513"},{"key":"804_CR75","doi-asserted-by":"crossref","unstructured":"Schulte E, DiLorenzo J, Weimer W, Forrest S (2013) Automated repair of binary and assembly programs for cooperating embedded devices. ACM SIGARCH Comput Archit News 41(1):317\u2013328","DOI":"10.1145\/2451116.2451151"},{"issue":"3","key":"804_CR76","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s11219-013-9208-0","volume":"21","author":"G Le","year":"2013","unstructured":"Le G, Claire SF, Weimer W (2013) Current challenges in automatic software repair. Softw Qual J 21 (3):421\u2013443","journal-title":"Softw Qual J"},{"issue":"5","key":"804_CR77","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. Commun ACM 53 (5):108\u2013108","journal-title":"Commun ACM"},{"key":"804_CR78","doi-asserted-by":"crossref","unstructured":"Qi Y, Mao X, Lei Y (2013) Efficient automated program repair through fault-recorded testing prioritization. In: 2013 IEEE International Conference on Software Maintenance. IEEE, pp 180\u2013189","DOI":"10.1109\/ICSM.2013.29"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-016-0804-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-016-0804-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-016-0804-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-016-0804-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T15:16:31Z","timestamp":1656774991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-016-0804-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,2]]},"references-count":78,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["804"],"URL":"https:\/\/doi.org\/10.1007\/s10489-016-0804-0","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,2]]}}}