Missing publication? Contribute through GitHub or mailing list.
Warning! program-repair.org does not host electronic copies of articles. We only provide links to publicly available resources.

2017

S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples

D.X.B. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Automatically Diagnosing and Repairing Error Handling Bugs in C

Y. Tian, B. Ray

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Synergistic Debug-Repair of Heap Manipulations

S. Verma, S. Roy

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Better Test Cases for Better Automated Program Repair

J. Yang, A. Zhikhartsev, Y. Liu, L. Tan

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments

J. Yi, U. Ahmed, A. Karkare, S.H. Tan, A. Roychoudhury

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Where is the Bug and How is it Fixed? An Experiment with Practitioners

M. Boehme, E.O. Soremekun, S. Chattopadhyay, E. Ugherughe, A. Zeller

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Automatic Inference of Code Transforms for Patch Generation Systems

F. Long, P. Amidon, M. Rinard

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

NoFAQ: Synthesizing Command Repairs from Examples

L. D'Antoni, R. Singh, M. Vaughn

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Repairing Decision-Making Programs Under Uncertainty

A. Albarghouthi, L. D'Antoni, S. Drews

Computer Aided Verification (CAV)

A Generic Algorithm for Program Repair

B. Khaireddine, A. Zakharchenko, A. Mili

International FME Workshop on Formal Methods in Software Engineering (FormaliSE)

A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair

M. Jiang, T.Y. Chen, F.C. Kuo, Z. Ding, E.H. Choi, O. Mizuno

International Workshop on Metamorphic Testing (MET)

An Analysis of the Suitability of Test-based Patch Acceptance Criteria

L. Zemin, S.G. Brida, A. Godio, C. Cornejo, R. Degiovanni, G. Regis, N. Aguirre, M. Frias

International Workshop on Search-Based Software Testing (SBST)

Impact of Tool Support in Patch Construction

A. Koyuncu, T.F. Bissyande, D. Kim, J. Klein, M. Monperrus, Y. Le Traon

International Symposium on Software Testing and Analysis (ISSTA)

Identifying Test-Suite-Overfitted Patches through Test Case Generation

Q. Xin, S. Reiss

International Symposium on Software Testing and Analysis (ISSTA)

Automated Repair of Layout Cross Browser Issues Using Search-Based Techniques

S. Mahajan, A. Alameer, P. McMinn, W.G.J. Halfond

International Symposium on Software Testing and Analysis (ISSTA)

JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder

D.X.B. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser

International Symposium on Software Testing and Analysis (ISSTA) — Demonstration Track

XFix: Automated Tool for Repair of Layout Cross Browser Issues

S. Mahajan, A. Alameer, P. McMinn, W.G.J. Halfond

International Symposium on Software Testing and Analysis (ISSTA) — Demonstration Track

Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation

T. Nguyen, D. Kapur, S. Forrest, W. Weimer

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

DeepFix: Fixing Common C Language Errors by Deep Learning

R. Gupta, S. Pal, A. Kanade, S. Shevade

Conference on Artificial Intelligence (AAAI)

Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming

T. Durieux, B. Cornu, L. Seinturier, M. Monperrus

International Conference on Software Analysis, Evolution and Reengineering (SANER)

Production-Driven Patch Generation

T. Durieux, Y. Hamadi, M. Monperrus

International Conference on Software Engineering (ICSE) — NIER Track

Learning Syntactic Program Transformations from Examples

R. Rolim, G. Soares, L. D'Antoni, O. Polozov, S. Gulwani, R. Gheyi, R. Suzuki, B. Hartmann

International Conference on Software Engineering (ICSE)

Repairing Event Race Errors by Controlling Nondeterminism

C. Adamsen, A. Møller, R. Karim, M. Sridharan, F. Tip, K. Sen

International Conference on Software Engineering (ICSE)

Precise Condition Synthesis for Program Repair

Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han, G. Huang, L. Zhang

International Conference on Software Engineering (ICSE)

2016

Automated Memory Leak Fixing on Value-Flow Slices for C Programs

H. Yan, Y.Sui, S.Chen, J.Xue

ACM Symposium on Applied Computing (SAC)

Optimizing Horn Solvers for Network Repair

H. Hojjat, P. Ruemmer, J. McClurg, P. Cerny, N. Foster

Formal Methods in Computer-Aided Design (FMCAD)

A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions

M. Soto, F. Thung, C. Wong, C. Le Goues, D. Lo

International Conference on Mining Software Repositories (MSR)

Improved Crossover Operators for Genetic Programming for Program Repair

V. P. L. Oliveira, E. F. D. Souza, C. Le Goues, C. G. Camilo-Junior

Symposium on Search-Based Software Engineering (SSBSE)

Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset

Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan and Martin Monperrus

Springer Empirical Software Engineering

Sound and Complete Mutation-Based Program Repair

B. Rothenberg, O. Grumberg

International Symposium on Formal Methods (FM)

A Sketching-Based Approach for Debugging Using Test Cases

J. Hua, S. Khurshid

Automated Technology for Verification and Analysis (ATVA)

Repairing Intricate Faults in Code Using Machine Learning and Path Exploration

D. Gopinath, K. Wang, J. Hua, S. Khurshid

International Conference on Software Maintenance and Evolution (ICSME)

History Driven Program Repair

X. B. D. Le, D. Lo, C. Le Goues

International Conference on Software Analysis, Evolution, and Reengineering (SANER)

Anti-patterns in Search-based Program Repair

S. Tan, H. Yoshida, M. Prasad, A. Roychoudhury

Symposium on the Foundations of Software Engineering (FSE)

Understanding and Generating High Quality Patches for Concurrency Bugs

H. Liu, Y. Chen, S. Lu

Symposium on the Foundations of Software Engineering (FSE)

Semi-supervised Verified Feedback Generation

S. Kaleeswaran, A. Santhiar, A. Kanade, S. Gulwani

Symposium on the Foundations of Software Engineering (FSE)

Qlose: Program Repair with Quantiative Objectives

L. D'Antoni, R. Samanta, R. Singh

Computer Aided Verification (CAV)

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

J. Xuan, M. Martinez, F. Demarco, M. Clement, S. Lamelas, T. Durieux, D. Le Berre, M. Monperrus

IEEE Transactions on Software Engineering (TSE)

Automatic Patch Generation by Learning Correct Code

F. Long, M. C. Rinard

Symposium on Principles of Programming Languages (POPL)

Fixing Deadlocks via Lock Pre-Acquisitions

Y. Cai, L. Cao

International Conference on Software Engineering (ICSE)

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

S. Mechtaev, J. Yi, A. Roychoudhury

International Conference on Software Engineering (ICSE)

Analysis of the Search Spaces for Generate and Validate Patch Generation Systems

F. Long, M. C. Rinard

International Conference on Software Engineering (ICSE)

ARROW: Automated Repair of Races on Client-Side Web Pages

W. Wang, Y. Zheng, P. Liu, L. Xu, X. Zhang, P. Eugster

International Symposium on Software Testing and Analysis (ISSTA)

ASTOR: A Program Repair Library for Java

M. Martinez, M. Monperrus

International Symposium on Software Testing and Analysis (ISSTA) — Demonstration Track

2015

Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications

S. Sidiroglou-Douskos, E. Lahtinen, F. Long, M. Rinard

Conference on Programming Language Design and Implementation (PLDI)

An Empirical Study on Real Bug Fixes

H. Zhong, Z. Su

International Conference on Software Engineering (ICSE)

DirectFix: Looking for Simple Program Repairs

S. Mechtaev, J. Yi, A. Roychoudhury

International Conference on Software Engineering (ICSE)

Relifix: Automated Repair of Software Regressions

S. Tan, A. Roychoudhury

International Conference on Software Engineering (ICSE)

Safe Memory-Leak Fixing for C Programs

Q. Gao, Y. Xiong, Y. Mi, L. Zhang, W. Yang, Z. Zhou, B. Xie, H. Mei

International Conference on Software Engineering (ICSE)

Automatically Fixing Real-World JavaScript Performance Bugs

M. Selakovic, M. Pradel

International Conference on Software Engineering (ICSE) — Poster

Automated Program Repair in an Integrated Development Environment

Y. Pei, C. A. Furia, M. Nordio, B. Meyer

International Conference on Software Engineering (ICSE) — Demonstrations Track

Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair

E. K. Smith, E. Barr, C. Le Goues, Y. Brun

Symposium on the Foundations of Software Engineering (FSE)

Staged Program Repair with Condition Synthesis

F. Long, M. C. Rinard

Symposium on the Foundations of Software Engineering (FSE)

Deductive Program Repair

E. Kneuss, M. Koukoutos, V. Kuncak

Computer Aided Verification (CAV)

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems

Z. Qi, F. Long, S. Achour, M. Rinard

International Symposium on Software Testing and Analysis (ISSTA)

ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs

S. Khoshnood, M. Kusano, C. Wang

International Symposium on Software Testing and Analysis (ISSTA)

Repairing Programs with Semantic Code Search

Y. Ke, K. T. Stolee, C. Le Goues, Y. Brun

International Conference on Automated Software Engineering (ASE)

Fixing Recurring Crash Bugs via Analyzing Q&A Sites

Q. Gao, H. Zhang, J. Wang, Y. Xiong, L. Zhang, H. Mei

International Conference on Automated Software Engineering (ASE)

Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing

M. Martinez, M. Monperrus

Empirical Software Engineering 20.1

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. Devanbu, S. Forrest, W. Weimer

IEEE Transactions on Software Engineering (TSE)

2014

The Strength of Random Search on Automated Program Repair

Y. Qi, X. Mao, Y. Lei, Z. Dai, C. Wang

International Conference on Software Engineering (ICSE)

Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches

M. Martinez, W. Weimer, M. Monperrus

International Conference on Software Engineering (ICSE)

Vejovis: Suggesting Fixes for JavaScript Faults

F. S. Ocariza, K. Pattabiraman, A. Mesbah

International Conference on Software Engineering (ICSE)

A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

M. Monperrus

International Conference on Software Engineering (ICSE)

MintHint: Automated Synthesis of Repair Hints

S. Kaleeswaran, V. Tulsian, A. Kanade, A. Orso

International Conference on Software Engineering (ICSE)

The Plastic Surgery Hypothesis

E. T. Barr, Y. Brun, P. T. Devanbu, M. Harman, F. Sarro

International Symposium on Foundations of Software Engineering (FSE)

Grail: Context-Aware Fixing of Concurrency Bugs

P. Liu, O. Tripp, C. Zhang

International Symposium on Foundations of Software Engineering (FSE)

Automatically Generated Patches As Debugging Aids: a Human Study

Y. Tao, J. Kim, S. Kim, C. Xu

International Symposium on Foundations of Software Engineering (FSE)

Towards Self-healing Smartphone Software via Automated Patching

T. Azim, I. Neamtiu, L. Marvel

International Conference on Automated Software Engineering (ASE)

Automatic Program Repair by Fixing Contracts

Y. Pei, C. A. Furia, M. Nordio, B. Meyer

International Conference on Fundamental Approaches to Software Engineering (FASE)

Automated Fixing of Programs with Contracts

Y. Pei, C. A. Furia, M. Nordio, Y. Wei, B. Meyer, A. Zeller

IEEE Transactions on Software Engineering 40.5

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

F. DeMarco, J. Xuan, D. Le Berre, M. Monperrus

International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA)

Cost-Aware Automatic Program Repair

R. Samanta, O. Olivo, E. A. Emerson

International Static Analysis Symposium (SAS)

2013

Automatic Patch Generation Learned From Human-Written Patches

D. Kim, J. Nam, J. Song, S. Kim

International Conference on Software Engineering (ICSE)

SemFix: Program Repair via Semantic Analysis

H.D.T. Nguyen, D. Qi, A. Roychoudhury, S. Chandra

International Conference on Software Engineering (ICSE)

Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques

Y Qi, X Mao, Y Lei, C Wang

International Symposium on Software Testing and Analysis (ISSTA)

Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results

W. Weimer, Z. P. Fry, S. Forrest

International Conference on Automated Software Engineering (ASE)

R2Fix: Automatically Generating Bug Fixes From Bug Reports

C. Liu, J. Yang, L. Tan, M. Hafiz

International Conference on Software Testing, Verification and Validation (ICST)

Program Repair without Regret

C. v. Essen, B. Jobstmann

Computer Aided Verification (CAV)

2012

Automated Concurrency-Bug Fixing

G. Jin, W. Zhang, D. Deng, B. Liblit, S. Lu

Operating Systems Design and Implementation (OSDI)

A Systematic Study of Automated Program Repair: Fixing 55 Out of 105 Bugs for $8 Each

C. Le Goues, M. Dewey-Vogt, S. Forrest, W. Weimer

International Conference on Software Engineering (ICSE)

Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints

P. Liu, C. Zhang

International Conference on Software Engineering (ICSE)

Modular and Verified Automatic Program Repair

F. Logozzo, T. Ball

International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)

A Human Study of Patch Maintainability

Z. P. Fry, B. Landau, W. Weimer

International Symposium on Software Testing and Analysis (ISSTA)

GenProg: a Generic Method for Automatic Software Repair

C. Le Goues, T. Nguyen, S. Forrest, W. Weimer

IEEE Transactions on Software Engineering 38

2011

Automated Atomicity-violation Fixing

G. Jin, L. Song, W. Zhang, S. Lu, B. Liblit

Conference on Programming Language Design and Implementation (PLDI)

Code-Based Automated Program Fixing

Y. Pei, Y. Wei, C. A. Furia, M. Nordio, B. Meyer

International Conference on Automated Software Engineering (ASE)

Automated Error Localization and Correction for Imperative Programs

R. Konighofer, R. Bloem

Formal Methods in Computer-Aided Design (FMCAD)

Specification-based Program Repair Using SAT

D. Gopinath, M. Z. Malik, S. Khurshid

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

2010

Automated Fixing of Programs with Contracts

Y. Wei, Y. Pei, C. A. Furia, L. S. Silva, S. Buchholz, B. Meyer, A. Zeller

International Symposium on Software Testing and Analysis (ISSTA)

Recurring Bug Fixes in Object-oriented Programs

T.T. Nguyen, H.A. Nguyen, N.H. Pham, J. Al-Kofahi, T.N. Nguyen

International Conference on Software Engineering (ICSE)

Using Mutation to Automatically Suggest Fixes for Faulty Programs

V. Debroy, W. Wong

International Conference on Software Testing, Verification and Validation (ICST)

Automated Program Repair Through the Evolution of Assembly Code

E. Schulte, S. Forrest, W. Weimer

International Conference on Automated Software Engineering (ASE)

Automatic Error Correction of Java Programs

C. Kern, J. Esparza

Formal Methods for Industrial Critical Systems (FMICS)

Automatic Program Repair with Evolutionary Computation

W. Weimer, S. Forrest, C. Le Goues, T. Nguyen

Communications of the ACM 53.5

Designing Better Fitness Functions for Automated Program Repair

E. Fast, C. Le Goues, S. Forrest, W. Weimer

Conference on Genetic and Evolutionary Computation (GECCO)

2009

Automatically Finding Patches Using Genetic Programming

W. Weimer, T. Nguyen, C. Le Goues, S. Forrest

International Conference on Software Engineering (ICSE)

Generating Fixes From Object Behavior Anomalies

V. Dallmeier, A. Zeller, B. Meyer

International Conference on Automated Software Engineering (ASE)

Automatically Patching Errors in Deployed Software

J. H. Perkins, G. Sullivan, W.-F. Wong, Y. Zibin, M. D. Ernst, M. Rinard, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou

Symposium on Operating Systems Principles (SOSP)

A Genetic Programming Approach to Automated Software Repair

S. Forrest, T. Nguyen, W. Weimer, C. Le Goues

Conference on Genetic and Evolutionary Computation (GECCO)

BugFix: a Learning-based Tool to Assist Developers in Fixing Bugs

D. Jeffrey, M. Feng, N. Gupta, R. Gupta

International Conference on Program Comprehension (ICPC)

Program Repair as Sound Optimization of Broken Programs

B. Fischer, A. Saabas, T. Uustalu

International Symposium on Theoretical Aspects of Software Engineering (TASE)

2008

Automatic Generation of Local Repairs for Boolean Programs

R. Samanta, J. V. Deshmukh, E. A. Emerson

Formal Methods in Computer-Aided Design (FMCAD)

A Novel Co-evolutionary Approach to Automatic Software Bug Fixing

A. Arcuri, X. Yao

IEEE Congress on Evolutionary Computation

2006

Repair of Boolean Programs with an Application to C

A. Griesmayer, R. Bloem, B. Cook

Computer Aided Verification (CAV)

Patches as Better Bug Reports

W. Weimer

International Conference on Generative Programming and Component Engineering (GPCE)

2005

Program Repair As a Game

B. Jobstmann, A. Griesmayer, R. Bloem

Computer Aided Verification (CAV)

Finding and Fixing Faults

S. Staber, B. Jobstmann, R. Bloem

Conference on Correct Hardware Design and Verification Methods (CHARME)

1983

Algorithmic Program DeBugging

E.Y. Shapiro

MIT Press