Automatic Software Repair: A Survey

Despite their growing complexity and increasing size, modern software applications must satisfy strict release requirements that impose short bug fixing and maintenance cycles, putting significant pressure on developers who are responsible for timely producing high-quality software. To reduce develo...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 45; číslo 1; s. 34 - 67
Hlavní autoři:	Gazzola, Luca, Micucci, Daniela, Mariani, Leonardo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.01.2019 IEEE Computer Society
Témata:	Algorithms Applications programs Automatic program repair Computer bugs Conferences correct by construction Debugging Fault diagnosis generate and validate Maintenance Maintenance engineering program synthesis Repair Repair & maintenance search-based self-repairing semantics-driven repair Software Software algorithms Surveying
ISSN:	0098-5589, 1939-3520
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Abstract	Despite their growing complexity and increasing size, modern software applications must satisfy strict release requirements that impose short bug fixing and maintenance cycles, putting significant pressure on developers who are responsible for timely producing high-quality software. To reduce developers workload, repairing and healing techniques have been extensively investigated as solutions for efficiently repairing and maintaining software in the last few years. In particular, repairing solutions have been able to automatically produce useful fixes for several classes of bugs that might be present in software programs. A range of algorithms, techniques, and heuristics have been integrated, experimented, and studied, producing a heterogeneous and articulated research framework where automatic repair techniques are proliferating. This paper organizes the knowledge in the area by surveying a body of 108 papers about automatic software repair techniques, illustrating the algorithms and the approaches, comparing them on representative examples, and discussing the open challenges and the empirical evidence reported so far.
AbstractList	Despite their growing complexity and increasing size, modern software applications must satisfy strict release requirements that impose short bug fixing and maintenance cycles, putting significant pressure on developers who are responsible for timely producing high-quality software. To reduce developers workload, repairing and healing techniques have been extensively investigated as solutions for efficiently repairing and maintaining software in the last few years. In particular, repairing solutions have been able to automatically produce useful fixes for several classes of bugs that might be present in software programs. A range of algorithms, techniques, and heuristics have been integrated, experimented, and studied, producing a heterogeneous and articulated research framework where automatic repair techniques are proliferating. This paper organizes the knowledge in the area by surveying a body of 108 papers about automatic software repair techniques, illustrating the algorithms and the approaches, comparing them on representative examples, and discussing the open challenges and the empirical evidence reported so far.
Author	Micucci, Daniela Gazzola, Luca Mariani, Leonardo
Author_xml	– sequence: 1 givenname: Luca surname: Gazzola fullname: Gazzola, Luca email: luca.gazzola@disco.unimib.it organization: Department of Informatics, Systems and Communication (DISCo), University of Milano Bicocca, Milano, Italy – sequence: 2 givenname: Daniela orcidid: 0000-0003-1261-2234 surname: Micucci fullname: Micucci, Daniela email: micucci@disco.unimib.it organization: Department of Informatics, Systems and Communication (DISCo), University of Milano Bicocca, Milano, Italy – sequence: 3 givenname: Leonardo orcidid: 0000-0001-9527-7042 surname: Mariani fullname: Mariani, Leonardo email: mariani@disco.unimib.it organization: Department of Informatics, Systems and Communication (DISCo), University of Milano Bicocca, Milano, Italy
BookMark	eNp9kE1LAzEQhoMo2FbvgpeFnrfObDZf3kqpH1AQbD2HNJuFLe2mZrNK_70pLR48eJm5vM-8zDMkl61vHSF3CBNEUA-r5XxSAIpJIRgDpBdkgIqqnLICLskAQMmcMamuybDrNgDAhGADMp720e9MbGy29HX8NsFl725vmvCYTbNlH77c4YZc1WbbudvzHpGPp_lq9pIv3p5fZ9NFbimlMbeSipJbVdZ0XVm7tlaskXGUReEoqzlTiqbSSlaQJqBCzitnisq4WiKWdETGp7v74D9710W98X1oU6UukDPJuGCYUvyUssF3XXC1tk1MD_g2BtNsNYI-CtFJiD4K0WchCYQ_4D40OxMO_yH3J6Rxzv3GJUhVlpL-AOVSatE
CODEN	IESEDJ
CitedBy_id	crossref_primary_10_1109_TSE_2021_3067156 crossref_primary_10_1145_3764584 crossref_primary_10_3390_app10051593 crossref_primary_10_1145_3697013 crossref_primary_10_3390_electronics12010179 crossref_primary_10_1145_3720526 crossref_primary_10_1109_TSE_2022_3152089 crossref_primary_10_1145_3720510 crossref_primary_10_1007_s10664_020_09920_w crossref_primary_10_1016_j_eswa_2020_114503 crossref_primary_10_1016_j_cola_2019_03_006 crossref_primary_10_1145_3417986 crossref_primary_10_1002_smr_2624 crossref_primary_10_1016_j_jss_2024_112152 crossref_primary_10_1109_TSE_2025_3540545 crossref_primary_10_1186_s13677_020_00164_z crossref_primary_10_1145_3696450 crossref_primary_10_1145_3368087 crossref_primary_10_1007_s12204_022_2514_6 crossref_primary_10_1145_3360004 crossref_primary_10_1007_s11390_020_0525_z crossref_primary_10_1109_TSE_2024_3497798 crossref_primary_10_1016_j_future_2018_12_016 crossref_primary_10_1007_s10664_021_10003_7 crossref_primary_10_1109_ACCESS_2021_3058067 crossref_primary_10_1007_s00236_021_00403_z crossref_primary_10_3390_sym12122102 crossref_primary_10_1007_s10664_024_10475_3 crossref_primary_10_1016_j_jss_2025_112388 crossref_primary_10_1145_3511096 crossref_primary_10_1109_TDSC_2024_3450951 crossref_primary_10_1007_s10515_024_00420_5 crossref_primary_10_1016_j_jss_2022_111419 crossref_primary_10_1145_3689738 crossref_primary_10_1109_TSE_2025_3532759 crossref_primary_10_14778_3611540_3611568 crossref_primary_10_1016_j_infsof_2021_106765 crossref_primary_10_1016_j_infsof_2019_06_011 crossref_primary_10_1109_TR_2021_3096332 crossref_primary_10_1002_smr_2483 crossref_primary_10_1145_3561382 crossref_primary_10_1109_TSE_2023_3269899 crossref_primary_10_1145_3715754 crossref_primary_10_1109_TSE_2023_3305052 crossref_primary_10_1007_s10489_021_02954_7 crossref_primary_10_1016_j_jss_2022_111525 crossref_primary_10_1007_s00236_023_00438_4 crossref_primary_10_1007_s10664_021_10083_5 crossref_primary_10_1007_s10664_024_10594_x crossref_primary_10_1145_3418461 crossref_primary_10_3390_info15080423 crossref_primary_10_1145_3631972 crossref_primary_10_1145_3702972 crossref_primary_10_1007_s10270_023_01136_y crossref_primary_10_1145_3631974 crossref_primary_10_3390_electronics14040819 crossref_primary_10_1109_TSE_2022_3164662 crossref_primary_10_1145_3597617 crossref_primary_10_1109_TSE_2024_3354969 crossref_primary_10_1007_s11432_023_4127_5 crossref_primary_10_1109_TETC_2022_3227113 crossref_primary_10_1109_TSE_2020_2987862 crossref_primary_10_1145_3704997 crossref_primary_10_1145_3476105 crossref_primary_10_1007_s11219_023_09625_5 crossref_primary_10_1007_s10515_019_00264_4 crossref_primary_10_1007_s10664_024_10606_w crossref_primary_10_1007_s10664_021_10100_7 crossref_primary_10_1007_s11704_020_9263_1 crossref_primary_10_1016_j_jss_2022_111385 crossref_primary_10_1109_LRA_2024_3441493 crossref_primary_10_1016_j_jss_2022_111302 crossref_primary_10_1016_j_jss_2022_111423 crossref_primary_10_1016_j_jss_2024_112116 crossref_primary_10_1016_j_scico_2024_103177 crossref_primary_10_1016_j_infsof_2024_107467 crossref_primary_10_1016_j_scico_2025_103313 crossref_primary_10_1002_spe_3255 crossref_primary_10_1007_s10664_021_09954_8 crossref_primary_10_1016_j_ijcip_2022_100527 crossref_primary_10_1016_j_jss_2020_110671 crossref_primary_10_1145_3579640 crossref_primary_10_1109_ACCESS_2019_2934975 crossref_primary_10_3390_e27030294 crossref_primary_10_1007_s10115_025_02383_9 crossref_primary_10_1016_j_jss_2024_112067 crossref_primary_10_1016_j_jss_2024_112107 crossref_primary_10_1145_3536430 crossref_primary_10_1145_3585005 crossref_primary_10_1145_3715786 crossref_primary_10_1016_j_jss_2020_110825 crossref_primary_10_1016_j_scico_2021_102732 crossref_primary_10_1007_s10664_024_10503_2 crossref_primary_10_1007_s10664_021_09989_x crossref_primary_10_1109_TSE_2022_3156637 crossref_primary_10_1002_spe_2672 crossref_primary_10_1145_3641846 crossref_primary_10_1145_3487570 crossref_primary_10_1109_ACCESS_2021_3081559 crossref_primary_10_1007_s10515_023_00392_y crossref_primary_10_1145_3637229 crossref_primary_10_1145_3711119 crossref_primary_10_1109_TSE_2024_3369766 crossref_primary_10_1007_s10664_023_10344_5
Cites_doi	10.1145/1173706.1173734 10.1109/ASE.2009.15 10.18130/V3KZ3C 10.1109/ICSE.2015.260 10.1145/1065010.1065014 10.1109/COMPSAC.2016.69 10.1145/2393596.2393598 10.1109/ICSE.2013.6606623 10.1145/1370175.1370223 10.1109/ICSM.2013.29 10.1016/j.jss.2009.09.037 10.1109/ASE.2009.25 10.1145/1830483.1830739 10.1109/CEC.2008.4630793 10.1145/214956.214961 10.1145/2499368.2451151 10.1145/2635868.2635898 10.1007/3-540-48166-4_16 10.1007/11513988_23 10.1109/ICSE.2015.222 10.1145/2610384.2628055 10.1109/DSN.2002.1029005 10.1145/2568225.2568254 10.1109/SANER.2016.76 10.1109/ICCIS.2013.490 10.1007/s00607-010-0107-y 10.1145/2896921.2896931 10.1145/1508284.1508250 10.1016/S0747-7171(85)80010-9 10.1007/978-3-540-73986-9_2 10.1109/ICSE.2015.65 10.1145/2814270.2814310 10.1145/2568225.2568258 10.1109/ICDSC.2001.918971 10.1109/ICST.2010.66 10.1145/2884781.2884835 10.1109/ISSRE.2008.48 10.1109/IAS.2007.87 10.1145/2950290.2950295 10.1007/978-3-642-16612-9_28 10.1109/ICSM.2012.6405280 10.1145/1572272.1572300 10.1007/978-3-540-92814-0_36 10.1145/2755970 10.1145/1321631.1321693 10.1145/360248.360252 10.1145/1368088.1368157 10.1145/2610384.2610398 10.1145/2884781.2884819 10.1145/2330163.2330333 10.1109/FMCAD.2013.6679385 10.1145/1806799.1806833 10.1109/ICPC.2009.5090029 10.1145/1101908.1101949 10.1145/2786805.2786858 10.1145/1321631.1321702 10.1145/1273442.1250746 10.1145/2724719 10.1109/COMPSAC.2013.139 10.1145/2508859.2516693 10.1145/2483760.2483785 10.1109/ISSRE.2015.7381836 10.1145/2001576.2001768 10.1109/ICSE.2015.63 10.1007/11498490_24 10.1145/1629575.1629585 10.1109/SEAMS.2017.9 10.1109/ICSE.2012.6227186 10.1109/TSE.2014.2312918 10.1109/ICSE.2015.100 10.1145/2897845.2897896 10.1109/ICSE.2015.64 10.1109/IWESEP.2016.15 10.1145/1508244.1508249 10.1145/1229285.1267001 10.1145/2610384.2610401 10.1145/2568225.2568324 10.1109/TSE.2011.104 10.1145/2635868.2635873 10.1145/1831708.1831716 10.1145/2594291.2594333 10.1007/978-3-642-39955-8_7 10.1109/TAIC.PART.2007.13 10.1145/1858996.1859059 10.1016/j.dss.2006.06.011 10.1145/2950290.2950309 10.1109/32.908957 10.1109/ASE.2009.92 10.1145/2522920.2522923 10.1145/2737924.2737988 10.1145/2635868.2635881 10.1145/2635868.2635890 10.1145/1006147.1006165 10.1145/2330163.2330296 10.1145/2384616.2384626 10.1109/IranianCEE.2016.7585390 10.1145/2694344.2694389 10.1145/2771783.2771798 10.1109/ICSE.2013.6606625 10.1109/32.962562 10.1145/587052.587053 10.1109/ICSESS.2013.6615295 10.1145/1569901.1570031 10.1145/2593735.2593740 10.1145/2786805.2786825 10.1145/2771783.2771791 10.1145/2351676.2351735 10.1145/2884781.2884872 10.1109/TSE.2014.2372785 10.1145/1735223.1735249 10.1145/1993498.1993544 10.1007/s10664-013-9282-8 10.1109/TSE.2015.2454513 10.1145/2786805.2786811 10.1109/SP.2017.26 10.1109/TSE.2010.93 10.1109/ASE.2011.6100080 10.1147/sj.411.0111 10.1145/2001858.2001995 10.1145/1985793.1985828 10.1145/2837614.2837617 10.1145/2659118.2659125 10.1145/2931037.2931050 10.1145/2591062.2591114 10.1145/2884781.2884807 10.1109/ICSE.2013.6606626 10.1109/ICSM.2015.7332504 10.1109/TSE.2016.2560811 10.1007/11560548_6 10.1109/ASE.2015.81 10.1007/s11219-013-9208-0 10.1145/2610384.2628058 10.1145/2666356.2594335 10.1007/978-3-642-18070-5_2 10.1109/ICSE.2009.5070536 10.1016/j.asoc.2011.01.023 10.1109/ICSE.2012.6227184 10.1145/1321631.1321643 10.1109/ICST.2013.24 10.1109/ICSE.2013.6606624 10.1109/32.988498 10.1145/1138912.1138918 10.1145/2970276.2970282 10.1109/ASE.2013.6693094 10.1109/ISSRE.2015.7381813 10.1109/ICST.2014.40 10.1147/sj.411.0004 10.1145/1081706.1081753 10.1016/S0004-3702(99)00039-9 10.1109/MSP.2005.144 10.1109/ASE.2015.60 10.1145/2851613.2851770 10.1145/227607.227610 10.1145/2970276.2975934 10.1109/ICSE.2012.6227211 10.1007/978-3-642-22655-7_28 10.1145/2338965.2336775 10.1145/1830483.1830654
ContentType	Journal Article
Copyright	Copyright IEEE Computer Society 2019
Copyright_xml	– notice: Copyright IEEE Computer Society 2019
DBID	97E ESBDL RIA RIE AAYXX CITATION JQ2 K9.
DOI	10.1109/TSE.2017.2755013
DatabaseName	IEEE Xplore (IEEE) IEEE Xplore Open Access Journals IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef ProQuest Computer Science Collection ProQuest Health & Medical Complete (Alumni)
DatabaseTitle	CrossRef ProQuest Health & Medical Complete (Alumni) ProQuest Computer Science Collection
DatabaseTitleList	ProQuest Health & Medical Complete (Alumni)
Database_xml	– sequence: 1 dbid: RIE name: IEEE Xplore url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1939-3520
EndPage	67
ExternalDocumentID	10_1109_TSE_2017_2755013 8089448
Genre	orig-research
GrantInformation_xml	– fundername: EU H2020 – fundername: MIUR grantid: 2015KWREMX – fundername: ERC Consolidator grantid: 646867
GroupedDBID	--Z -DZ -~X .DC 0R~ 29I 4.4 5GY 6IK 85S 8R4 8R5 97E AAJGR AARMG AASAJ AAWTH ABAZT ABPPZ ABQJQ ABVLG ACGFO ACGOD ACIWK ACNCT AENEX AGQYO AHBIQ AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BKOMP BPEOZ CS3 DU5 EBS EDO EJD ESBDL HZ~ I-F IEDLZ IFIPE IPLJI JAVBF LAI M43 MS~ O9- OCL P2P Q2X RIA RIE RNS RXW S10 TAE TN5 TWZ UHB UPT WH7 YZZ AAYXX CITATION JQ2 K9.
ID	FETCH-LOGICAL-c333t-c83746c94f3bdccbcc7b1561822e35f65993577d8d077d019166dea2daef81143
IEDL.DBID	RIE
ISICitedReferencesCount	251
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000455735600003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0098-5589
IngestDate	Fri Oct 03 03:02:02 EDT 2025 Tue Nov 18 21:45:00 EST 2025 Sat Nov 29 03:10:24 EST 2025 Wed Aug 27 02:57:57 EDT 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	1
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/OAPA.html
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c333t-c83746c94f3bdccbcc7b1561822e35f65993577d8d077d019166dea2daef81143
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0003-1261-2234 0000-0001-9527-7042
OpenAccessLink	https://ieeexplore.ieee.org/document/8089448
PQID	2165856751
PQPubID	21418
PageCount	34
ParticipantIDs	crossref_citationtrail_10_1109_TSE_2017_2755013 ieee_primary_8089448 proquest_journals_2165856751 crossref_primary_10_1109_TSE_2017_2755013
PublicationCentury	2000
PublicationDate	2019-Jan.-1 2019-1-1 20190101
PublicationDateYYYYMMDD	2019-01-01
PublicationDate_xml	– month: 01 year: 2019 text: 2019-Jan.-1 day: 01
PublicationDecade	2010
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on software engineering
PublicationTitleAbbrev	TSE
PublicationYear	2019
Publisher	IEEE IEEE Computer Society
Publisher_xml	– name: IEEE – name: IEEE Computer Society
References	ref57 ref56 ref59 ref58 ref53 ref52 ref168 ref55 ref169 ref54 ref170 ref175 ref51 son (ref42) 2013 ref176 ref50 ref173 zuddas (ref15) 2014 ref174 ref171 ref172 ref46 ref45 ref48 ref47 ref41 ref44 ref43 ref8 ref7 marcote (ref26) 2015 pezzè (ref70) 2007 ref9 ref4 ref3 ref6 jacob (ref76) 2004 ref100 ref101 ref40 jin (ref131) 2012 ref35 ref36 ref31 ref148 ref30 ref149 ref146 ref32 ref147 ref39 ref38 monperrus (ref33) 2015 ref155 ref153 ref154 ref151 ref152 ref150 ref24 ref23 ref25 ref20 ref159 le goues (ref88) 2013 ref22 ref157 ref21 ref158 long (ref114) 2013 ref28 ref27 ref29 (ref156) 0 bradbury (ref37) 2010 ref166 ref167 ref164 ref162 ref163 ref160 ref161 ref13 ref12 ref128 ref129 ref14 ref126 ref97 ref127 ref96 ref124 ref99 ref11 ref125 ref98 ref10 ref17 ref16 ref19 ref18 martinez (ref165) 2012 zeller (ref5) 2009 ref133 ref93 ref134 ref92 ref95 ref132 ref94 ref130 ref91 ref90 ref89 ref139 ref137 ref86 ref138 ref85 ref135 ref136 ref87 (ref2) 2014 monperrus (ref34) 2013 ref144 ref82 ref145 ref81 ref142 ref84 ref143 ref83 ref140 ref141 ref80 ref79 ref108 ref78 ref109 ref106 ref107 ref75 ref104 ref74 ref105 ref77 ref102 ref103 dennis (ref49) 2006 stumptner (ref62) 1996 ref71 ref111 ref112 ref73 ref72 ref110 ref68 ref119 ref67 britton (ref1) 2013 ref117 ref69 ref118 ref64 ref115 ref63 ref116 ref66 ref113 ref65 ref60 ref122 ref123 ref120 ref61 ref121
References_xml	– ident: ref31 doi: 10.1145/1173706.1173734 – ident: ref25 doi: 10.1109/ASE.2009.15 – year: 2013 ident: ref88 article-title: Automatic program repair using genetic programming doi: 10.18130/V3KZ3C – ident: ref153 doi: 10.1109/ICSE.2015.260 – ident: ref85 doi: 10.1145/1065010.1065014 – ident: ref98 doi: 10.1109/COMPSAC.2016.69 – year: 2007 ident: ref70 publication-title: Software Testing and Analysis Process Principles and Techniques – ident: ref18 doi: 10.1145/2393596.2393598 – start-page: 221 year: 2012 ident: ref131 article-title: Automated concurrency-bug fixing. publication-title: Proc USENIX Symp on Operating System Design and Implementation – ident: ref21 doi: 10.1109/ICSE.2013.6606623 – ident: ref63 doi: 10.1145/1370175.1370223 – ident: ref106 doi: 10.1109/ICSM.2013.29 – ident: ref86 doi: 10.1016/j.jss.2009.09.037 – ident: ref8 doi: 10.1109/ASE.2009.25 – year: 2004 ident: ref76 publication-title: A Practical Guide to the IBM Autonomic Computing Toolkit – ident: ref97 doi: 10.1145/1830483.1830739 – year: 2014 ident: ref2 article-title: Increasing software development productivity with reversible debugging – ident: ref35 doi: 10.1109/CEC.2008.4630793 – ident: ref58 doi: 10.1145/214956.214961 – ident: ref104 doi: 10.1145/2499368.2451151 – ident: ref100 doi: 10.1145/2635868.2635898 – start-page: 131 year: 2006 ident: ref49 article-title: Proof-directed debugging and repair publication-title: Proc Symp Trends Functional Program – ident: ref9 doi: 10.1007/3-540-48166-4_16 – ident: ref43 doi: 10.1007/11513988_23 – ident: ref142 doi: 10.1109/ICSE.2015.222 – ident: ref157 doi: 10.1145/2610384.2628055 – ident: ref90 doi: 10.1109/DSN.2002.1029005 – ident: ref29 doi: 10.1145/2568225.2568254 – ident: ref118 doi: 10.1109/SANER.2016.76 – ident: ref164 doi: 10.1109/ICCIS.2013.490 – ident: ref66 doi: 10.1007/s00607-010-0107-y – ident: ref130 doi: 10.1145/2896921.2896931 – year: 2013 ident: ref34 article-title: Two flavors in automated software repair: Rigid repair and plastic repair publication-title: Dagstuhl Seminar n 13061 "Fault Prediction Localization and Repair" – ident: ref81 doi: 10.1145/1508284.1508250 – ident: ref57 doi: 10.1016/S0747-7171(85)80010-9 – ident: ref68 doi: 10.1007/978-3-540-73986-9_2 – ident: ref119 doi: 10.1109/ICSE.2015.65 – ident: ref59 doi: 10.1145/2814270.2814310 – ident: ref141 doi: 10.1145/2568225.2568258 – ident: ref116 doi: 10.1109/ICDSC.2001.918971 – ident: ref45 doi: 10.1109/ICST.2010.66 – year: 2013 ident: ref114 article-title: Prophet: Automatic patch generation via learning from successful patches – ident: ref176 doi: 10.1145/2884781.2884835 – ident: ref12 doi: 10.1109/ISSRE.2008.48 – ident: ref115 doi: 10.1109/IAS.2007.87 – ident: ref170 doi: 10.1145/2950290.2950295 – ident: ref134 doi: 10.1007/978-3-642-16612-9_28 – ident: ref102 doi: 10.1109/ICSM.2012.6405280 – ident: ref13 doi: 10.1145/1572272.1572300 – ident: ref46 doi: 10.1007/978-3-540-92814-0_36 – ident: ref69 doi: 10.1145/2755970 – start-page: 73 year: 2010 ident: ref37 article-title: Automatic repair of concurrency bugs publication-title: Proc 2nd Int Symp Search Based Software Eng – ident: ref40 doi: 10.1145/1321631.1321693 – ident: ref126 doi: 10.1145/360248.360252 – ident: ref17 doi: 10.1145/1368088.1368157 – ident: ref137 doi: 10.1145/2610384.2610398 – ident: ref53 doi: 10.1145/2884781.2884819 – year: 2009 ident: ref5 publication-title: Why Programs Fail Second Edition A Guide to Systematic Debugging – ident: ref50 doi: 10.1145/2330163.2330333 – ident: ref60 doi: 10.1109/FMCAD.2013.6679385 – ident: ref127 doi: 10.1145/1806799.1806833 – ident: ref39 doi: 10.1109/ICPC.2009.5090029 – ident: ref6 doi: 10.1145/1101908.1101949 – ident: ref79 doi: 10.1145/2786805.2786858 – ident: ref158 doi: 10.1145/1321631.1321702 – ident: ref125 doi: 10.1145/1273442.1250746 – ident: ref73 doi: 10.1145/2724719 – ident: ref171 doi: 10.1109/COMPSAC.2013.139 – ident: ref148 doi: 10.1145/2508859.2516693 – ident: ref91 doi: 10.1145/2483760.2483785 – ident: ref173 doi: 10.1109/ISSRE.2015.7381836 – ident: ref27 doi: 10.1145/2001576.2001768 – ident: ref128 doi: 10.1109/ICSE.2015.63 – ident: ref77 doi: 10.1007/11498490_24 – ident: ref174 doi: 10.1145/1629575.1629585 – ident: ref72 doi: 10.1109/SEAMS.2017.9 – ident: ref138 doi: 10.1109/ICSE.2012.6227186 – ident: ref94 doi: 10.1109/TSE.2014.2312918 – ident: ref56 doi: 10.1109/ICSE.2015.100 – year: 2015 ident: ref33 article-title: Automatic software repair: A bibliography – ident: ref147 doi: 10.1145/2897845.2897896 – ident: ref54 doi: 10.1109/ICSE.2015.64 – ident: ref96 doi: 10.1109/IWESEP.2016.15 – ident: ref83 doi: 10.1145/1508244.1508249 – ident: ref117 doi: 10.1145/1229285.1267001 – ident: ref139 doi: 10.1145/2610384.2610401 – ident: ref121 doi: 10.1145/2568225.2568324 – start-page: 155 year: 1996 ident: ref62 article-title: Model-based program debugging and repair publication-title: Proc Int Conf Ind Eng Other Appl Appl Intell Syst – ident: ref101 doi: 10.1109/TSE.2011.104 – ident: ref30 doi: 10.1145/2635868.2635873 – ident: ref92 doi: 10.1145/1831708.1831716 – ident: ref61 doi: 10.1145/2594291.2594333 – ident: ref38 doi: 10.1007/978-3-642-39955-8_7 – ident: ref89 doi: 10.1109/TAIC.PART.2007.13 – year: 2013 ident: ref1 article-title: Reversible debugging software - quantify the time and cost saved using reversible debuggers – ident: ref105 doi: 10.1145/1858996.1859059 – ident: ref67 doi: 10.1016/j.dss.2006.06.011 – ident: ref132 doi: 10.1145/2950290.2950309 – ident: ref16 doi: 10.1109/32.908957 – year: 2015 ident: ref26 article-title: Automatic repair of infinite loops – ident: ref150 doi: 10.1109/ASE.2009.92 – ident: ref80 doi: 10.1145/2522920.2522923 – ident: ref24 doi: 10.1145/2737924.2737988 – ident: ref136 doi: 10.1145/2635868.2635881 – ident: ref19 doi: 10.1145/2635868.2635890 – ident: ref3 doi: 10.1145/1006147.1006165 – ident: ref160 doi: 10.1145/2330163.2330296 – ident: ref143 doi: 10.1145/2384616.2384626 – ident: ref32 doi: 10.1109/IranianCEE.2016.7585390 – ident: ref124 doi: 10.1145/2694344.2694389 – ident: ref152 doi: 10.1145/2771783.2771798 – ident: ref149 doi: 10.1109/ICSE.2013.6606625 – ident: ref107 doi: 10.1109/32.962562 – ident: ref11 doi: 10.1145/587052.587053 – ident: ref103 doi: 10.1109/ICSESS.2013.6615295 – ident: ref64 doi: 10.1145/1569901.1570031 – ident: ref23 doi: 10.1145/2593735.2593740 – ident: ref162 doi: 10.1145/2786805.2786825 – ident: ref110 doi: 10.1145/2771783.2771791 – ident: ref74 doi: 10.1145/2351676.2351735 – ident: ref159 doi: 10.1145/2884781.2884872 – ident: ref78 doi: 10.1109/TSE.2014.2372785 – ident: ref65 doi: 10.1145/1735223.1735249 – ident: ref82 doi: 10.1145/1993498.1993544 – ident: ref166 doi: 10.1007/s10664-013-9282-8 – ident: ref154 doi: 10.1109/TSE.2015.2454513 – year: 2013 ident: ref42 article-title: Fix me up: Repairing access-control bugs in web applications publication-title: Proc Symp Netw Distrib Syst – ident: ref28 doi: 10.1145/2786805.2786811 – ident: ref146 doi: 10.1109/SP.2017.26 – ident: ref14 doi: 10.1109/TSE.2010.93 – ident: ref93 doi: 10.1109/ASE.2011.6100080 – ident: ref112 doi: 10.1147/sj.411.0111 – ident: ref108 doi: 10.1145/2001858.2001995 – ident: ref140 doi: 10.1145/1985793.1985828 – ident: ref113 doi: 10.1145/2837614.2837617 – ident: ref84 doi: 10.1145/2659118.2659125 – ident: ref52 doi: 10.1145/2931037.2931050 – ident: ref167 doi: 10.1145/2591062.2591114 – ident: ref95 doi: 10.1145/2884781.2884807 – year: 2012 ident: ref165 article-title: Mining repair actions for guiding automated program fixing – ident: ref22 doi: 10.1109/ICSE.2013.6606626 – ident: ref168 doi: 10.1109/ICSM.2015.7332504 – ident: ref129 doi: 10.1109/TSE.2016.2560811 – ident: ref47 doi: 10.1007/11560548_6 – ident: ref55 doi: 10.1109/ASE.2015.81 – ident: ref41 doi: 10.1007/s11219-013-9208-0 – ident: ref155 doi: 10.1145/2610384.2628058 – ident: ref133 doi: 10.1145/2666356.2594335 – ident: ref144 doi: 10.1007/978-3-642-18070-5_2 – ident: ref20 doi: 10.1109/ICSE.2009.5070536 – ident: ref99 doi: 10.1016/j.asoc.2011.01.023 – ident: ref135 doi: 10.1109/ICSE.2012.6227184 – ident: ref151 doi: 10.1145/1321631.1321643 – ident: ref120 doi: 10.1109/ICST.2013.24 – ident: ref75 doi: 10.1109/ICSE.2013.6606624 – ident: ref10 doi: 10.1109/32.988498 – ident: ref109 doi: 10.1145/1138912.1138918 – ident: ref145 doi: 10.1145/2970276.2970282 – ident: ref111 doi: 10.1109/ASE.2013.6693094 – ident: ref161 doi: 10.1109/ISSRE.2015.7381813 – ident: ref172 doi: 10.1145/2483760.2483785 – year: 0 ident: ref156 article-title: Software-artifact infrastructure repository – ident: ref36 doi: 10.1109/ICST.2014.40 – ident: ref4 doi: 10.1147/sj.411.0004 – ident: ref7 doi: 10.1145/1081706.1081753 – ident: ref48 doi: 10.1016/S0004-3702(99)00039-9 – ident: ref175 doi: 10.1109/MSP.2005.144 – ident: ref44 doi: 10.1109/ASE.2015.60 – ident: ref169 doi: 10.1145/2851613.2851770 – ident: ref123 doi: 10.1145/227607.227610 – ident: ref122 doi: 10.1145/2970276.2975934 – ident: ref87 doi: 10.1109/ICSE.2012.6227211 – ident: ref71 doi: 10.1007/978-3-642-22655-7_28 – start-page: 815 year: 2014 ident: ref15 article-title: MIMIC: locating and understanding bugs by analyzing mimicked executions publication-title: Proc IEEE Int Conf Automated Software Engineering – ident: ref51 doi: 10.1145/2338965.2336775 – ident: ref163 doi: 10.1145/1830483.1830654
SSID	ssj0005775 ssib053395008
Score	2.6758273
Snippet	Despite their growing complexity and increasing size, modern software applications must satisfy strict release requirements that impose short bug fixing and...
SourceID	proquest crossref ieee
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	34
SubjectTerms	Algorithms Applications programs Automatic program repair Computer bugs Conferences correct by construction Debugging Fault diagnosis generate and validate Maintenance Maintenance engineering program synthesis Repair Repair & maintenance search-based self-repairing semantics-driven repair Software Software algorithms Surveying
Title	Automatic Software Repair: A Survey
URI	https://ieeexplore.ieee.org/document/8089448 https://www.proquest.com/docview/2165856751
Volume	45
WOSCitedRecordID	wos000455735600003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Xplore customDbUrl: eissn: 1939-3520 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005775 issn: 0098-5589 databaseCode: RIE dateStart: 19750101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7M4cGLU6c4nVLQi2C3tmmaxNuQDQ8yhE3ZrbRJCgPZpFsn_ve-pO1EFMFLKSUpzff6ku_Lj_cArvGhSkWSmeCD3A3T0He5Rn_kYYLkOVSS2gh8L49sPOazmXhqwO32LIzW2m4-0z1za9fy1VIWZqqszz0uUE7swA5jUXlW62s7B2O0jo9JKRf1kqQn-tPJ0OzhYr2AIR_3ybchyOZU-dER29Fl1Prfdx3AfsUinUFp9kNo6MURtOoMDU7lsG24GhTrpQ3K6kywv31Pcu0g5U7m-Z0zcCZFvtEfx_A8Gk7vH9wqLYIrCSFrV6KmDCMpwoykSspUSpaiCkOhEGhCs4gi5UA0FFceXpHC-VGkdBKoRGcc5Q85geZiudCn4CDfw8ZQzVJqdKFGqyFhETyhigQpER3o10jFsooZblJXvMZWO3giRmxjg21cYduBm22NtzJexh9l2wbLbbkKxg50a2PElUOt4sBHqkRR3fhnv9c6hz18tyhnR7rQXOeFvoBduVnPV_ml_Vc-AYjYuWk
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dS8MwFL3MKeiLU6c4nVrQF8FubZO0iW9DNibOIWzK3kqbZDCQTbp24r_39msiiuBLKSWhzbm9yTn5uBfgCh-qUATTNPggN2lIbZNr9EdOAyTPVEmWReB7GXjDIZ9MxFMFbtZnYbTW2eYz3Upvs7V8tZBJOlXW5hYXKCc2YJNR6lj5aa2vDR2ex8oImYxxUS5KWqI9HnXTXVxey_GQkdvk2yCUZVX50RVn40uv9r8v24Pdgkcandzw-1DR8wOolTkajMJl63DZSeJFFpbVGGGP-x5E2kDSHcyiW6NjjJJopT8O4bnXHd_1zSIxgikJIbEpUVVSVwo6JaGSMpTSC1GHoVRwNGFTlyHpQDQUVxZekcTZrqt04KhATzkKIHIE1fliro_BQMaHjWHaC1mqDDXaDSmL4AFTxAmJaEC7RMqXRdTwNHnFq5-pB0v4iK2fYusX2Dbgel3jLY-Y8UfZeorlulwBYwOapTH8wqWWvmMjWWKob-yT32tdwHZ__DjwB_fDh1PYwfeIfK6kCdU4SvQZbMlVPFtG59l_8wlerLyw
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automatic+Software+Repair%3A+A+Survey&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Gazzola%2C+Luca&rft.au=Micucci%2C+Daniela&rft.au=Mariani%2C+Leonardo&rft.date=2019-01-01&rft.issn=0098-5589&rft.eissn=1939-3520&rft.volume=45&rft.issue=1&rft.spage=34&rft.epage=67&rft_id=info:doi/10.1109%2FTSE.2017.2755013&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TSE_2017_2755013
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon