review-article

Free access

Automated program repair

Authors:

Claire Le Goues,

Michael Pradel,

Abhik RoychoudhuryAuthors Info & Claims

Communications of the ACM, Volume 62, Issue 12

Pages 56 - 65

https://doi.org/10.1145/3318162

Published: 21 November 2019 Publication History

All formats PDF

Abstract

Automated program repair can relieve programmers from the burden of manually fixing the ever-increasing number of programming mistakes.

References

[1]

Abadi, M., Budiu, M., Erlingsson, U. and Ligatti, J. Control-flow integrity. In Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005, ACM, 340--353.

Digital Library

Google Scholar

[2]

Alur, R., Singh, R., Fisman, D. and Solar-Lezama, A. Search-based program synthesis. Commun. ACM 61 (2018), 84--93.

Digital Library

Google Scholar

[3]

Brown, D.B., Vaughn, M., Liblit, B. and Reps, T.W. The care and feeding of wild-caught mutants. In Proceedings of the 2017 11^th Joint Meeting on Foundations of Software Engineering, (Paderborn, Germany, Sept. 4--8, 2017), 511--522.

Digital Library

Google Scholar

[4]

Fry, Z.P., Landau, B., and Weimer, W. A human study of patch maintainability. In Proceedings of the Intern. Symp. on Software Testing and Analysis, 2012, 177--187.

Digital Library

Google Scholar

[5]

Gupta, R., Pal, S., Kanade, A. and Shevade, S. DeepFix: Fixing common C language errors by deep learning. Assoc. for the Advancement of Artificial Intelligence, 2017.

Crossref

Google Scholar

[6]

Harman, M. Automated patching techniques: The fix is in. Commun. ACM 53 (2010), 108--108.

Digital Library

Google Scholar

[7]

Johnson, B., Song, Y., Murphy-Hill, E. and Bowdidge, Z. Why don't software developers use static analysis tools to find bugs? In Proceedings of the Intern. Conf. on Software Engineering, 2013, 672--681.

Crossref

Google Scholar

[8]

Jones, J.A., Harrold, M.J. and Stasko, J. Visualization of test information to assist fault localization. In Proceedings of the ACM/IEEE Intern. Conf. on Software Engineering, 9.

Google Scholar

[9]

Kim, D., Nam, J., Song, J. and Kim, S. Automatic patch generation learned from human-written patches. In Proceedings of the ACM/IEEE International Conference on Software Engineering, 2013.

Crossref

Google Scholar

[10]

King, J.C. Symbolic execution and program testing. Commun. ACM 19 (1976).

Google Scholar

[11]

Logozzo, F. and Ball, T. Modular and verified automatic program repair. In Proceedings of Object-Oriented Programming Systems Languages and Applications, 2012.

Digital Library

Google Scholar

[12]

Long, F., Amidon, P. and Rinard, M. Automatic inference of code transforms for patch generation. In Proceedings of the ACM SIGSOFT Intern. Symp. on Foundations of Software Engineering, 2017.

Digital Library

Google Scholar

[13]

Long, F. and Rinard, M. Staged program repair with condition synthesis. In Proceedings of the 2015 10^th Joint Meeting on Foundations of Software Engineering, 2015.

Digital Library

Google Scholar

[14]

Long, F. and Rinard, M. Automatic patch generation by learning correct code. In Proceedings of the ACM Intern. Symp. on Principles of Programming Languages, 2016.

Digital Library

Google Scholar

[15]

Marginean, A., Bader, J., Chandra, S., Harman, M., Jia, Y., Mao, K., Mols, A. and Scott, A. Sapfix: Automated end-to-end repair at scale. In Proceedings of the Intern. Conf. on Software Engineering, Software Engineering in Practice track, 2019.

Digital Library

Google Scholar

[16]

Mechtaev, S., Yi, J. and Roychoudhury, A. Angelix: Scalable multiline program patch synthesis via symbolic analysis. In Proceedings of the ACM/IEEE Intern. Conf. on Software Engineering, 2016.

Digital Library

Google Scholar

[17]

Monperrus, M. Automatic software repair: A bibliography. ACM Computing Surveys 51, 1 (2017).

Digital Library

Google Scholar

[18]

Nguyen, H.D.T., Qi, D., Roychoudhury, A. and Chandra, S. SemFix: Program repair via semantic analysis. In Proceedings of the ACM/IEEE Intern. Conf. on Software Engineering, 2013.

Crossref

Google Scholar

[19]

Nistor, A., Chang, P-C., Radoi, C. and Lu, S. Caramel: Detecting and fixing performance problems that have non-intrusive fixes. In Proceedings of ICSE, 2015.

Crossref

Google Scholar

[20]

Perkins, J.H. et al. Automatically patching errors in deployed software. In Proceedings of the Symp. on Operating Systems Principles. ACM, 2009.

Digital Library

Google Scholar

[21]

Qi, Y., Mao, X., Lei, Y., Dai, Z. and Wang, C. The strength of random search on automated program repair. In Proceedings of the Intern. Conf. on Software Engineering, 2014.

Digital Library

Google Scholar

[22]

Ray, B., Hellendoorn, V., Godhane, S., Tu, Z., Bacchelli, A. and Devanbu, P. On the "naturalness" of buggy code. In Proceedings of the 38^th Intern. Conf. on Software Engineering (Austin, TX, USA, May 14--22, 2016), 428--439.

Digital Library

Google Scholar

[23]

Sadowski, C., Aftandilian, E., Eagle, A., Miller-Cushon, L. and Jaspan, C. Lessons from building static analysis tools at google. Commun. ACM 61, 4 (Apr. 2018), 58--66.

Digital Library

Google Scholar

[24]

Samimi, H., Schäfer, M., Artzi, S., Millstein, T., Tip, F. and Hendren, L. Automated repair of HTML generation errors in PHP applications using string constraint solving. In Proceedings of the 34^th Intern. Conf. on Software Engineering, 2012.

Digital Library

Google Scholar

[25]

Seacord, R., Plakosh, D. and Lewis, G. Modernizing Legacy Systems: Software Technologies, Engineering Processes and Business Practices. Addison Wesley, 2003.

Google Scholar

[26]

Shacham, O.M., Vechev, M.T. and Yahav, E. Chameleon: Adaptive selection of collections. In Proceedings of Conf. on Programming Language Design and Implementation, 2009. ACM, 408--418.

Digital Library

Google Scholar

[27]

Shriver, D., Elbaum, S. and Stolee, K.T. At the end of synthesis: narrowing program candidates. In Proceedings of the Intern. Conf. on Software Engineering, 2017.

Digital Library

Google Scholar

[28]

Singh, R., Gulwani, S. and Solar-Lezama, A. Automated feedback generation for introductory programming assignments. In Proceedings of the Intern. Conf. on Programming Language Design and Implementation, 2013.

Digital Library

Google Scholar

[29]

Smith, E.K., Barr, E., Le Goues, C. and Brun, Y. Is the cure worse than the disease? overfitting in automated program repair. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE), 2015.

Digital Library

Google Scholar

[30]

Su, Z. and Wassermann, G. The essence of command injection attacks in Web applications. In Proceedings of Symp. on Principles of Programming Languages, 2006, 372--382.

Digital Library

Google Scholar

[31]

Toffola, L.D., Pradel, M. and Gross, T.R. Performance problems you can fix: A dynamic analysis of memoization opportunities. In Proceedings of Conf. on Object-Oriented Programming, Systems, Languages, and Applications, 2015.

Digital Library

Google Scholar

[32]

Tufano, M., Watson, C., Bavota, G., Di Penta, M., White, M. and Poshyvanyk, D. An empirical investigation into learning bug-fixing patches in the wild via neural machine translation. In Proceedings of Intern. Conf. on Automated Software Engineering, 2018.

Digital Library

Google Scholar

[33]

Urli, S., Yu, Z., Seinturier, L. and Monperrus, M. How to design a program repair bot? insights from the repairnator project. In Proceedings of Intern. Conf. on Software Engineering, Track Software Engineering in Practice, 2018.

Digital Library

Google Scholar

[34]

Wei, Y., Pei, Y., Furia, C.A., Silva, L.S., Buchholz, S., Meyer, B. and Zeller, A. Automated fixing of programs with contracts. In Proceedings of ACM Intern. Symp. on Software Testing and Analysis, 2010.

Digital Library

Google Scholar

[35]

Weimer, W., Forrest, S., Kim, M., Le Goues, C. and Hurley, P. Trusted software repair for system resiliency. In Proceedings of 46^th Annual IEEE/IFIP Intern. Conf. on Dependable Systems and Networks Workshops, 2016.

Crossref

Google Scholar

[36]

Weimer, W., Fry, Z, and Forrest, S. Leveraging program equivalence for adaptive program repair: Models and first results. In Proceedings of ACM/IEEE Intern. Conf. on Automated Software Engineering, 2013.

Digital Library

Google Scholar

[37]

Weimer, W., Nguyen, T.V., Le Goues, C. and Forrest, S. Automatically finding patches using genetic programming. In Proceedings of ACM/IEEE Intern. Conf. on Software Engineering, 2009.

Digital Library

Google Scholar

[38]

Xiong, Y., Liu, X., Zeng, M., Zhang, L. and Huang, G. Identifying patch correctness in test-based program repair. In Proceedings of Intern. Conf. on Software Engineering, 2018.

Digital Library

Google Scholar

[39]

Xuan, J., Martinez, M., Demarco, F., Clement, M., Marcote, S.L., Durieux, T., Le Berre, D. and Monperrusm M. Nopol: Automatic repair of conditional statement bugs in Java programs. IEEE Trans. Software Engineering 43, (2017).

Google Scholar

[40]

Yi, J., Ahmed, U.Z., Karkare, A., Tan, S.H. and Roychoudhury, A. A feasibility study of using automated program repair for introductory programming assignments. In Proceedings of ACM SIGSOFT Intern. Symp. Foundations of Software Engineering, 2017.

Digital Library

Google Scholar

Cited By

View all

Paiva JLeal JFigueira Á(2025)Incremental Repair Feedback on Automated Assessment of Programming AssignmentsElectronics10.3390/electronics1404081914:4(819)Online publication date: 19-Feb-2025
https://doi.org/10.3390/electronics14040819
Murali P(2025)Leveraging Large Language Models for Automated Program Repair in Programming EducationXRDS: Crossroads, The ACM Magazine for Students10.1145/370340831:2(58-60)Online publication date: 8-Jan-2025
https://dl.acm.org/doi/10.1145/3703408
Zemín LGodio ACornejo CDegiovanni RGutiérrez Brida SRegis GAguirre NFrias M(2025)An Empirical Study on the Suitability of Test-based Patch Acceptance CriteriaACM Transactions on Software Engineering and Methodology10.1145/370297134:3(1-20)Online publication date: 20-Feb-2025
https://dl.acm.org/doi/10.1145/3702971
Show More Cited By

Index Terms

Automated program repair
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Automatic programming
    2. Software verification and validation
      1. Formal software verification

Recommendations

Do automated program repair techniques repair hard and important bugs?

Existing evaluations of automated repair techniques focus on the fraction of the defects for which the technique can produce a patch, the time needed to produce patches, and how well patches generalize to the intended specification. However, these ...
Does Genetic Programming Work Well on Automated Program Repair?
ICCIS '13: Proceedings of the 2013 International Conference on Computational and Information Sciences

Automated program repair has made some important progress in the recent decade. One well-known repair tool is GneProg, which automates the patch generation process according to the guidance of genetic programming. Although GenProg has successfully fixed ...
Automated clustering and program repair for introductory programming assignments
PLDI '18

Providing feedback on programming assignments is a tedious task for the instructor, and even impossible in large Massive Open Online Courses with thousands of students. Previous research has suggested that program repair techniques can be used to ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 62, Issue 12

December 2019

78 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/3372896

Editor:
Andrew A. Chien
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 November 2019

Published in CACM Volume 62, Issue 12

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Review-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

253
Total Citations
View Citations
25,477
Total Downloads

Downloads (Last 12 months)1,663
Downloads (Last 6 weeks)208

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Paiva JLeal JFigueira Á(2025)Incremental Repair Feedback on Automated Assessment of Programming AssignmentsElectronics10.3390/electronics1404081914:4(819)Online publication date: 19-Feb-2025
https://doi.org/10.3390/electronics14040819
Murali P(2025)Leveraging Large Language Models for Automated Program Repair in Programming EducationXRDS: Crossroads, The ACM Magazine for Students10.1145/370340831:2(58-60)Online publication date: 8-Jan-2025
https://dl.acm.org/doi/10.1145/3703408
Zemín LGodio ACornejo CDegiovanni RGutiérrez Brida SRegis GAguirre NFrias M(2025)An Empirical Study on the Suitability of Test-based Patch Acceptance CriteriaACM Transactions on Software Engineering and Methodology10.1145/370297134:3(1-20)Online publication date: 20-Feb-2025
https://dl.acm.org/doi/10.1145/3702971
Csuvik VHorváth DLajkó MVidács L(2025)GenProgJS: A Baseline System for Test-Based Automated Repair of JavaScript ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2024.349779851:2(325-343)Online publication date: 1-Feb-2025
https://dl.acm.org/doi/10.1109/TSE.2024.3497798
Nguyen TZhang XArcaini PIshikawa FVo H(2025)Automated program repair for variability bugs in software product line systemsJournal of Systems and Software10.1016/j.jss.2024.112152221:COnline publication date: 1-Mar-2025
https://dl.acm.org/doi/10.1016/j.jss.2024.112152
Dong ZHu QGuo YZhang ZCordy MPapadakis MLe Traon YZhao J(2025)Boosting source code learning with text-oriented data augmentation: an empirical studyEmpirical Software Engineering10.1007/s10664-025-10624-230:3Online publication date: 18-Feb-2025
https://doi.org/10.1007/s10664-025-10624-2
Kang SChen BYoo SLou J(2025)Explainable automated debugging via large language model-driven scientific debuggingEmpirical Software Engineering10.1007/s10664-024-10594-x30:2Online publication date: 1-Mar-2025
https://dl.acm.org/doi/10.1007/s10664-024-10594-x
Sabané APlein LBissyandé T(2025)Leveraging Conversational AI for Accelerating User-Driven Software TestingTowards new e-Infrastructure and e-Services for Developing Countries10.1007/978-3-031-81573-7_6(81-88)Online publication date: 13-Feb-2025
https://doi.org/10.1007/978-3-031-81573-7_6
Zhao LLi HChen YPan XGuo S(2025)Structuring Semantic‐Aware Relations Between Bugs and Patches for Accurate Patch EvaluationJournal of Software: Evolution and Process10.1002/smr.7000137:2Online publication date: 6-Feb-2025
https://dl.acm.org/doi/10.1002/smr.70001
Ni AAllamanis MCohan ADeng YShi KSutton CYin PSalakhutdinov RKolter ZHeller KWeller AOliver NScarlett JBerkenkamp F(2024)NEXTProceedings of the 41st International Conference on Machine Learning10.5555/3692070.3693610(37929-37956)Online publication date: 21-Jul-2024
https://dl.acm.org/doi/10.5555/3692070.3693610
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Do automated program repair techniques repair hard and important bugs?

Does Genetic Programming Work Well on Automated Program Repair?

Automated clustering and program repair for introductory programming assignments

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations