— Google Scholar, — BibTeX, — tool, — benchmark

2021

Automated patch assessment for program repair at scale
He Ye, Matias Martinez, Martin Monperrus
EMSE 26 (2) 2021
Automated Patch Transplantation
Ridwan Salihin Shariffdeen, Shin Hwei Tan, Mingyuan Gao, Abhik Roychoudhury
TOSEM 30 (1) 2021
Mining Fix Patterns for FindBugs Violations
Kui Liu, Dongsun Kim, Tegawendé F. Bissyandé, Shin Yoo, Yves Le Traon
TSE 47 (1) 2021

2020

Automatic repair of OWASP Top 10 security vulnerabilities: A survey
Alexander Marchand-Melsom, Duong Bao Nguyen Mai
APR@ICSE 2020
Flake It 'Till You Make It: Using Automated Repair to Induce and Fix Latent Test Flakiness
Owain Parry, Gregory M. Kapfhammer, Michael Hilton, Phil McMinn
APR@ICSE 2020
Impact of Similarity on Repairing Small Programs: A Case Study on QuixBugs Benchmark
Moumita Asad, Kishan Kumar Ganguly, Kazi Sakib
APR@ICSE 2020
Interactive Patch Generation and Suggestion
Xiang Gao, Abhik Roychoudhury
APR@ICSE 2020
Learning to Fix Build Errors with Graph2Diff Neural Networks
Daniel Tarlow, Subhodeep Moitra, Andrew C. Rice, Zimin Chen, Pierre-Antoine Manzagol, Charles Sutton, Edward Aftandilian
APR@ICSE 2020
Program Repairing History as Git Repository
Ryoko Izuta, Shinsuke Matsumoto, Yoshiki Higo, Shinji Kusumoto
APR@ICSE 2020
Refining Fitness Functions in Test-Based Program Repair
Justyna Petke, Aymeric Blot
APR@ICSE 2020
Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair
Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer
APR@ICSE 2020
Using API-Embedding for API-Misuse Repair
Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier
APR@ICSE 2020
Anti-patterns for Java Automated Program Repair Tools
Yi Wu
ASE 2020
Automated Patch Correctness Assessment: How Far are We?
Shangwen Wang, Ming Wen, Bo Lin, Hongjun Wu, Yihao Qin, Deqing Zou, Xiaoguang Mao, Hai Jin
ASE 2020
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
Haoye Tian, Kui Liu, Abdoul Kader Kaboré, Anil Koyuncu, Li Li, Jacques Klein, Tegawendé F. Bissyandé
ASE 2020
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
Samuel Benton, Xia Li, Yiling Lou, Lingming Zhang
ASE 2020
The Symptom, Cause and Repair of Workaround
Daohan Song, Hao Zhong, Li Jia
ASE 2020
FixMiner: Mining relevant fix patterns for automated program repair
Anil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon
EMSE 25 (3) 2020
The effectiveness of context-based change application on automatic program repair
Jindae Kim, Jeongho Kim, Eunseok Lee, Sung-Hun Kim
EMSE 25 (1) 2020
Impact of Combining Syntactic and Semantic Similarities on Patch Prioritization
Moumita Asad, Kishan Kumar Ganguly, Kazi Sakib
ENASE 2020
BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies
Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo, Eng Lieh Ouh
FSE 2020
PRF: a framework for building automatic program repair prototypes for JVM-based languages
Ali Ghanbari, Andrian Marcus
FSE 2020
DLFix: context-based code transformation learning for automated program repair
Yi Li, Shaohua Wang, Tien N. Nguyen
ICSE 2020
On the efficiency of test suite based program repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs
Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawendé F. Bissyandé, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, Yves Le Traon
ICSE 2020
Repairing deep neural networks: fix patterns and challenges
Md Johirul Islam, Rangeet Pan, Giang Nguyen, Hridesh Rajan
ICSE 2020
SAVER: scalable, precise, and safe memory-error repair
Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh
ICSE 2020
Automated repair of feature interaction failures in automated driving systems
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
ISSTA 2020
Can automated program repair refine fault localization? a unified debugging approach
Yiling Lou, Kazi Sakib, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, Lu Zhang
ISSTA 2020
CoCoNuT: combining context-aware neural translation models using ensemble for program repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, Lin Tan
ISSTA 2020
Type error feedback via analytic program repair
Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala
PLDI 2020
Experience Report: How Effective is Automated Program Repair for Industrial Software?
Kunihiro Noda, Yusuke Nemoto, Keisuke Hotta, Hideo Tanida, Shinji Kikuchi
SANER 2020
Experience Report: How Effective is Automated Program Repair for Industrial Software?
Kunihiro Noda, Yusuke Nemoto, Keisuke Hotta, Hideo Tanida, Shinji Kikuchi
SANER 2020
Toward Better Evolutionary Program Repair: An Integrated Approach
Yuan Yuan, Wolfgang Banzhaf
TOSEM 29 (1) 2020
ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming
Yuan Yuan, Wolfgang Banzhaf
TSE 46 (10) 2020

2019

Automating CUDA Synchronization via Program Transformation
Mingyuan Wu, Lingming Zhang, Cong Liu, Shin Hwei Tan, Yuqun Zhang
ASE 2019
InFix: Automatically Repairing Novice Program Inputs
Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer
ASE 2019
Inferring Program Transformations From Singular Examples via Big Code
Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang
ASE 2019
PraPR: Practical Program Repair via Bytecode Mutation
Kazi Sakib, Lingming Zhang
ASE 2019
Re-Factoring Based Program Repair Applied to Programming Assignments
Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
ASE 2019
Explainable software bot contributions: case study of automated bug fixes
Martin Monperrus
BotSE@ICSE 2019
Clock Bound Repair for Timed Systems
Moumita Asad, Stefan Leue, Thomas Wies
CAV 2019
Automated program repair
Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Commun. ACM 62 (12) 2019
Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system
Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus
EMSE 24 (1) 2019
Automatic patch generation with context-based change application
Jindae Kim, Sung-Hun Kim
EMSE 24 (6) 2019
How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques
Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
ESEM 2019
DeepDelta: learning to repair compilation errors
Ali Mesbah, Andrew C. Rice, Emily Johnston, Nick Glorioso, Edward Aftandilian
FSE 2019
Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts
Thomas Durieux, Fernanda Madeiral, Matias Martinez, Rui Abreu
FSE 2019
Phoenix: automated data-driven synthesis of repairs for static analysis violations
Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad
FSE 2019
iFixFlakies: a framework for automatically fixing order-dependent flaky tests
August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov
FSE 2019
iFixR: bug report driven program repair
Anil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim, Martin Monperrus, Jacques Klein, Yves Le Traon
FSE 2019
Neural Program Repair by Jointly Learning to Localize and Repair
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
ICLR (Poster) 2019
AutoTap: synthesizing and repairing trigger-action programs using LTL properties
Lefan Zhang, Weijia He, Jesse Martinez, Noah Brackenbury, Shan Lu, Blase Ur
ICSE 2019
BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes
David A. Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-González
ICSE 2019
Detection and repair of architectural inconsistencies in Java
Negar Ghorbani, Joshua Garcia, Yang Hu
ICSE 2019
Harnessing evolution for multi-hunk program repair
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
ICSE 2019
On reliability of patch correctness assessment
Xuan-Bach D. Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu
ICSE 2019
Symbolic repairs for GR(1) specifications
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
ICSE 2019
VFix: value-flow-guided precise program repair for null pointer dereferences
Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue
ICSE 2019
Defexts: a curated dataset of reproducible real-world bugs for modern JVM languages
Samuel Benton, Kazi Sakib, Lingming Zhang
ICSE (Companion Volume) 2019
SapFix: automated end-to-end repair at scale
Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, A. Scott
ICSE (SEIP) 2019
Impact Analysis of Syntactic and Semantic Similarities on Patch Prioritization in Automated Program Repair
Moumita Asad, Kishan Kumar Ganguly, Kazi Sakib
ICSME 2019
BugsJS: a Benchmark of JavaScript Bugs
Péter Gyimesi, Béla Vancsics, Andrea Stocco, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah
ICST 2019
Efficiently Repairing Internationalization Presentation Failures by Solving Layout Constraints
Abdulmajeed Alameer, Paul T. Chiou, William G. J. Halfond
ICST 2019
Intent-Preserving Test Repair
Xiangyu Li, Marcelo d'Amorim, Alessandro Orso
ICST 2019
You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems
Kui Liu, Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Yves Le Traon
ICST 2019
How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects
Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong, Gang Huang
ISSRE 2019
Crash-avoiding program repair
Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
ISSTA 2019
History-driven build failure fixing: how far are we?
Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang
ISSTA 2019
Practical program repair via bytecode mutation
Kazi Sakib, Samuel Benton, Lingming Zhang
ISSTA 2019
TBar: revisiting template-based automated program repair
Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
ISSTA 2019
Astor: Exploring the design space of generate-and-validate program repair beyond GenProg
Matias Martinez, Martin Monperrus
J. Syst. Softw. 151 2019
DFix: automatically fixing timing bugs in distributed systems
Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu
PLDI 2019
Huron: hybrid false sharing detection and repair
Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci
PLDI 2019
SemCluster: clustering of imperative programming assignments based on quantitative semantic features
David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang
PLDI 2019
Automatic repair of regular expressions
Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni
Proc. ACM Program. Lang. 3 (OOPSLA) 2019
Efficient automated repair of high floating-point errors in numerical libraries
Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
Proc. ACM Program. Lang. 3 (POPL) 2019
Getafix: learning to fix bugs automatically
Johannes Bader, Andrew C. Scott, Michael Pradel, Satish Chandra
Proc. ACM Program. Lang. 3 (OOPSLA) 2019
Using Safety Properties to Generate Vulnerability Patches
Zhen Huang, David Lie, Madeline Endres, Trent Jaeger
S&P 2019
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
SANER 2019
BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies
Fernanda Madeiral, Simon Urli, Marcelo de Almeida Maia, Martin Monperrus
SANER 2019
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities
Martin White, Michele Tufano, Matias Martinez, Martin Monperrus, Denys Poshyvanyk
SANER 2019
A manual inspection of Defects4J bugs and its implications for automatic program repair
Jiajun Jiang, Yingfei Xiong, Xin Xia
SCI 62 (10) 2019
Code Naturalness to Assist Search Space Exploration in Search-Based Program Repair Methods
Altino Dantas, Eduardo Faria de Souza, Jerffeson Teixeira de Souza, Celso G. Camilo-Junior
SSBSE 2019
An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation
Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk
TOSEM 28 (4) 2019
Automatic Software Repair: A Survey
Luca Gazzola, Daniela Micucci, Leonardo Mariani
TSE 45 (1) 2019
Automatic Program Repair Using Formal Verification and Expression Templates
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
VMCAI 2019

2018

Automatic Software Repair: A Bibliography
Martin Monperrus
ACM Comput. Surv. 51 (1) 2018
LSRepair: Live Search of Fix Ingredients for Automated Program Repair
Kui Liu, Anil Koyuncu, Kisub Kim, Dongsun Kim, Tegawendé F. Bissyandé
APSEC 2018
kGenProg: A High-Performance, High-Extensibility and High-Portability APR System
Yoshiki Higo, Shinsuke Matsumoto, Ryo Arima, Akito Tanikado, Keigo Naito, Junnosuke Matsumoto, Yuya Tomida, Shinji Kusumoto
APSEC 2018
Automated model repair for Alloy
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
ASE 2018
PFix: fixing concurrency bugs based on memory access patterns
Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei
ASE 2018
Improved representation and genetic operators for linear genetic programming for automated program repair
Vinicius Paulo L. Oliveira, Eduardo Faria de Souza, Claire Le Goues, Celso G. Camilo-Junior
EMSE 23 (5) 2018
Pinpointing and repairing performance bottlenecks in concurrent programs
Tingting Yu, Michael Pradel
EMSE 23 (5) 2018
MemFix: static analysis-based repair of memory deallocation errors for C
Junhee Lee, Seongjoon Hong, Hakjoo Oh
FSE 2018
SketchFix: a tool for automated program repair approach using lazy candidate generation
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
FSE 2018
Symbolic execution with existential second-order constraints
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
FSE 2018
Visual web test repair
Andrea Stocco, Rahulkrishna Yandrapally, Ali Mesbah
FSE 2018
A novel fitness function for automated program repair based on source code checkpoints
Eduardo Faria de Souza, Claire Le Goues, Celso G. Camilo-Junior
GECCO 2018
Dynamic Neural Program Embeddings for Program Repair
Ke Wang, Rishabh Singh, Zhendong Su
ICLR (Poster) 2018
A correlation study between automated program repair and test-suite metrics
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
ICSE 2018
Automated repair of mobile friendly problems in web pages
Sonal Mahajan, Negarsadat Abolhassani, Phil McMinn, William G. J. Halfond
ICSE 2018
Context-aware patch generation for better automated program repair
Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung
ICSE 2018
Do automated program repair techniques repair hard and important bugs?
Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
ICSE 2018
HireBuild: an automatic approach to history-driven repair of build scripts
Foyzul Hassan, Xiaoyin Wang
ICSE 2018
Identifying patch correctness in test-based program repair
Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang
ICSE 2018
Neuro-symbolic program corrector for introductory programming assignments
Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
ICSE 2018
Overfitting in semantics-based automated program repair
Xuan-Bach D. Le, Ferdian Thung, David Lo, Claire Le Goues
ICSE 2018
Repairing crashes in Android apps
Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
ICSE 2018
Semantic program repair using a reference implementation
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
ICSE 2018
Static automated program repair for heap properties
Rijnard van Tonder, Claire Le Goues
ICSE 2018
Towards practical program repair with on-demand candidate generation
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
ICSE 2018
Towards reusing hints from past fixes: an exploratory study on thousands of real samples
Hao Zhong, Na Meng
ICSE 2018
BugZoo: a platform for studying software bugs
Christopher Steven Timperley, Susan Stepney, Claire Le Goues
ICSE (Companion Volume) 2018
Compilation error repair: for the student programs, from the student programs
Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
ICSE (SEET) 2018
How to design a program repair bot?: insights from the repairnator project
Simon Urli, Zhongxing Yu, Lionel Seinturier, Martin Monperrus
ICSE (SEIP) 2018
How to design a program repair bot?: insights from the repairnator project
Simon Urli, Zhongxing Yu, Lionel Seinturier, Martin Monperrus
ICSE (SEIP) 2018
A Closer Look at Real-World Patches
Kui Liu, Dongsun Kim, Anil Koyuncu, Li Li, Tegawendé F. Bissyandé, Yves Le Traon
ICSME 2018
An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency
Anbang Guo, Xiaoguang Mao, Deheng Yang, Shangwen Wang
ICSME 2018
Accelerating Search-Based Program Repair
Benjamin Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
ICST 2018
Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
ICST 2018
Comparing developer-provided to user-provided tests for fault localization and automated program repair
René Just, Chris Parnin, Ian Drosos, Michael D. Ernst
ISSTA 2018
Eliminating timing side-channel leaks using program repair
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
ISSTA 2018
Shaping program repair space with existing patches and similar code
Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen
ISSTA 2018
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs
Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad
MSR 2018
Common statement kind changes to inform automatic program repair
Mauricio Soto, Claire Le Goues
MSR 2018
Automated clustering and program repair for introductory programming assignments
Sumit Gulwani, Ivan Radicek, Florian Zuleger
PLDI 2018
Search, align, and repair: data-driven feedback generation for introductory programming exercises
Ke Wang, Rishabh Singh, Zhendong Su
PLDI 2018
Automatic diagnosis and correction of logical errors for functional programming assignments
Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh
Proc. ACM Program. Lang. 2 (OOPSLA) 2018
Automatically repairing dependency-related build breakage
Christian Macho, Shane McIntosh, Martin Pinzger
SANER 2018
Dissection of a bug dataset: Anatomy of 395 patches from Defects4J
Victor Sobreira, Thomas Durieux, Fernanda Madeiral, Martin Monperrus, Marcelo de Almeida Maia
SANER 2018
Mining stackoverflow for program repair
Xuliang Liu, Hao Zhong
SANER 2018
Using a probabilistic model to predict bug fixes
Mauricio Soto, Claire Le Goues
SANER 2018
Ultra-Large Repair Search Space with Automatically Mined Templates: The Cardumen Mode of Astor
Matias Martinez, Martin Monperrus
SSBSE 2018
Test-Equivalence Analysis for Automatic Patch Generation
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
TOSEM 27 (4) 2018
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps
Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury
TSE 44 (5) 2018

2017

DeepFix: Fixing Common C Language Errors by Deep Learning
Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade
AAAI 2017
Contract-based program repair without the contracts
Liushan Chen, Yu Pei, Carlo A. Furia
ASE 2017
ELIXIR: effective object oriented program repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
ASE 2017
IntPTI: automatic integer error repair with proper-type inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jia-Guang Sun
ASE 2017
Leveraging syntax-related code for automated program repair
Qi Xin, Steven P. Reiss
ASE 2017
Tortoise: interactive system configuration repair
Aaron Weiss, Arjun Guha, Yuriy Brun
ASE 2017
Repairing Decision-Making Programs Under Uncertainty
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
CAV 2017
Synchronization Synthesis for Network Programs
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
CAV 2017
New Strategies for Selecting Reuse Candidates on Automated Program Repair
Akito Tanikado, Haruki Yokoyama, Masahiro Yamamoto, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto
COMPSAC (2) 2017
Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset
Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, Martin Monperrus
EMSE 22 (4) 2017
Common Bug-Fix Patterns: A Large-Scale Observational Study
Eduardo Cunha Campos, Marcelo de Almeida Maia
ESEM 2017
A feasibility study of using automated program repair for introductory programming assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
FSE 2017
Automatic inference of code transforms for patch generation
Fan Long, Peter Amidon, Martin C. Rinard
FSE 2017
Automatically diagnosing and repairing error handling bugs in C
Yuchi Tian, Baishakhi Ray
FSE 2017
Better test cases for better automated program repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, Lin Tan
FSE 2017
NoFAQ: synthesizing command repairs from examples
Loris D'Antoni, Rishabh Singh, Michael Vaughn
FSE 2017
S3: syntax- and semantic-guided repair synthesis via programming by examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
FSE 2017
Synergistic debug-repair of heap manipulations
Sahil Verma, Subhajit Roy
FSE 2017
Where is the bug and how is it fixed? an experiment with practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
FSE 2017
A Generic Algorithm for Program Repair
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
FormaliSE@ICSE 2017
Learning syntactic program transformations from examples
Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
ICSE 2017
Precise condition synthesis for program repair
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
ICSE 2017
Repairing event race errors by controlling nondeterminism
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
ICSE 2017
Codeflaws: a programming competition benchmark for evaluating automated program repair tools
Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
ICSE (Companion Volume) 2017
Production-Driven Patch Generation
Thomas Durieux, Youssef Hamadi, Martin Monperrus
ICSE-NIER 2017
An Empirical Study on the Usage of Fault Localization in Automated Program Repair
Deheng Yang, Yuhua Qi, Xiaoguang Mao
ICSME 2017
Automated repair of layout cross browser issues using search-based techniques
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
ISSTA 2017
Identifying test-suite-overfitted patches through test case generation
Qi Xin, Steven P. Reiss
ISSTA 2017
Impact of tool support in patch construction
Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon
ISSTA 2017
JFIX: semantics-based repair of Java programs via symbolic PathFinder
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
ISSTA 2017
XFix: an automated tool for the repair of layout cross browser issues
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
ISSTA 2017
A metamorphic testing approach for supporting program repair without the need for a test oracle
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zuohua Ding
J. Syst. Softw. 126 2017
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno
MET@ICSE 2017
Dynamic patch generation for null pointer exceptions using metaprogramming
Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus
SANER 2017
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
SBST@ICSE 2017
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge
Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama
SPLASH (Companion Volume) 2017
An Investigation into the Use of Mutation Analysis for Automated Program Repair
Christopher Steven Timperley, Susan Stepney, Claire Le Goues
SSBSE 2017
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
Lingming Zhang, Westley Weimer, Deepak Kapur, Stephanie Forrest
TACAS (1) 2017
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clement, Sebastian R. Lamelas Marcote, Thomas Durieux, Daniel Le Berre, Martin Monperrus
TSE 43 (1) 2017

2016

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities
Fengjuan Gao, Linzhang Wang, Xuandong Li
ASE 2016
DynaMoth: dynamic code synthesis for automatic program repair
Thomas Durieux, Martin Monperrus
AST@ICSE 2016
A Sketching-Based Approach for Debugging Using Test Cases
Jinru Hua, Sarfraz Khurshid
ATVA 2016
Qlose: Program Repair with Quantitative Objectives
Loris D'Antoni, Roopsha Samanta, Rishabh Singh
CAV 2016
Trusted Software Repair for System Resiliency
Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley
DSN Workshops 2016
Sound and Complete Mutation-Based Program Repair
Bat-Chen Rothenberg, Orna Grumberg
FM 2016
Optimizing horn solvers for network repair
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
FMCAD 2016
Anti-patterns in search-based program repair
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
FSE 2016
Semi-supervised verified feedback generation
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
FSE 2016
Understanding and generating high quality patches for concurrency bugs
Haopeng Liu, Yuxi Chen, Shan Lu
FSE 2016
An analysis of the search spaces for generate and validate patch generation systems
Fan Long, Martin C. Rinard
ICSE 2016
Angelix: scalable multiline program patch synthesis via symbolic analysis
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ICSE 2016
Fixing deadlocks via lock pre-acquisitions
Yan Cai, Lingwei Cao
ICSE 2016
Enhancing Automated Program Repair with Deductive Verification
Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
ICSME 2016
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration
Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
ICSME 2016
ARROW: automated repair of races on client-side web pages
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
ISSTA 2016
ASTOR: a program repair library for Java (demo)
Matias Martinez, Martin Monperrus
ISSTA 2016
Optimal sanitization synthesis for web application vulnerability repair
Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
ISSTA 2016
A deeper look into bug fixes: patterns, replacements, deletions, and additions
Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo
MSR 2016
Automatic patch generation by learning correct code
Fan Long, Martin C. Rinard
POPL 2016
Automated memory leak fixing on value-flow slices for C programs
Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
SAC 2016
Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity
Haruki Yokoyama, Yoshiki Higo, Keisuke Hotta, Takafumi Ohta, Kozo Okano, Shinji Kusumoto
SAC 2016
History Driven Program Repair
Xuan-Bach D. Le, David Lo, Claire Le Goues
SANER 2016
sk_p: a neural program corrector for MOOCs
Michael Vaughn, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay
SPLASH (Companion Volume) 2016
Improved Crossover Operators for Genetic Programming for Program Repair
Vinicius Paulo L. Oliveira, Eduardo Faria de Souza, Claire Le Goues, Celso G. Camilo-Junior
SSBSE 2016

2015

Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)
Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei
ASE 2015
Repairing Programs with Semantic Code Search (T)
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
ASE 2015
A Type-Directed Approach to Program Repair
Alex Reinking, Ruzica Piskac
CAV 2015
Deductive Program Repair
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
CAV 2015
Mining software repair models for reasoning on the search space of automated program fixing
Matias Martinez, Martin Monperrus
EMSE 20 (1) 2015
Is the cure worse than the disease? overfitting in automated program repair
Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun
FSE 2015
Staged program repair with condition synthesis
Fan Long, Martin C. Rinard
FSE 2015
An Empirical Study on Real Bug Fixes
Hao Zhong, Zhendong Su
ICSE 2015
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
Rishabh Singh, Po-Chun Chang, Cosmin Radoi, Shan Lu
ICSE 2015
DirectFix: Looking for Simple Program Repairs
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ICSE 2015
Safe Memory-Leak Fixing for C Programs
Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei
ICSE 2015
relifix: Automated Repair of Software Regressions
Shin Hwei Tan, Abhik Roychoudhury
ICSE 2015
Automated Program Repair in an Integrated Development Environment
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
ICSE (2) 2015
Poster: Automatically Fixing Real-World JavaScript Performance Bugs
Marija Selakovic, Michael Pradel
ICSE (2) 2015
Toward improving graftability on automated program repair
Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
ICSME 2015
Toward improving graftability on automated program repair
Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
ICSME 2015
Experience report: How do techniques, programs, and tests impact automated program repair?
Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li
ISSRE 2015
Should fixing these failures be delegated to automated program repair?
Xuan-Bach D. Le, Tien-Duy B. Le, David Lo
ISSRE 2015
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard
ISSTA 2015
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Sepideh Khoshnood, Markus Kusano, Chao Wang
ISSTA 2015
Automatic error elimination by horizontal code transfer across multiple applications
Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard
PLDI 2015
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer
TSE 41 (12) 2015

2014

Towards self-healing smartphone software via automated patching
Tanzirul Azim, Iulian Neamtiu, Lisa M. Marvel
ASE 2014
Automatic repair of buggy if conditions and missing preconditions with SMT
Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus
CSTVA 2014
Automatically Fixing C Buffer Overflows Using Program Transformations
Alex Shaw, Dusten Doggett, Munawar Hafiz
DSN 2014
Automatic Program Repair by Fixing Contracts
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
FASE 2014
Automatically generated patches as debugging aids: a human study
Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu
FSE 2014
Grail: context-aware fixing of concurrency bugs
Peng Liu, Omer Tripp, Deheng Yang
FSE 2014
The plastic surgery hypothesis
Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro
FSE 2014
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair
Martin Monperrus
ICSE 2014
MintHint: automated synthesis of repair hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
ICSE 2014
The strength of random search on automated program repair
Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Chengsong Wang
ICSE 2014
Vejovis: suggesting fixes for JavaScript faults
Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah
ICSE 2014
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches
Matias Martinez, Westley Weimer, Martin Monperrus
ICSE Companion 2014
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches
Matias Martinez, Westley Weimer, Martin Monperrus
ICSE Companion 2014
An Assessment of the Quality of Automated Program Operator Repair
Fatmah Yousef Assiri, James M. Bieman
ICST 2014
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
Duc-Hiep Chu, Sandeep S. Kulkarni
ISSTA 2014
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
René Just, Darioush Jalali, Michael D. Ernst
ISSTA 2014
Semantic differential repair for input validation and sanitization
Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan
ISSTA 2014
Cost-Aware Automatic Program Repair
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
SAS 2014
Automated Fixing of Programs with Contracts
Yu Pei, Carlo A. Furia, Martín Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
TSE 40 (5) 2014
Automatic detection and correction of web application vulnerabilities using data mining to predict false positives
Iberia Medeiros, Nuno Neves, Miguel Correia
WWW 2014

2013

Leveraging program equivalence for adaptive program repair: Models and first results
Westley Weimer, Zachary P. Fry, Stephanie Forrest
ASE 2013
Automated repair of binary and assembly programs for cooperating embedded devices
Gabriele Bavota, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest
ASPLOS 2013
Program Repair without Regret
Christian von Essen, Barbara Jobstmann
CAV 2013
Repair with On-The-Fly Program Analysis
Robert Könighofer, Roderick Bloem
Haifa Verification Conference 2013
Automatic patch generation learned from human-written patches
Dongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim
ICSE 2013
Program transformations to fix C integers
Zack Coker, Munawar Hafiz
ICSE 2013
SemFix: program repair via semantic analysis
Hoang D. T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
ICSE 2013
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization
Yuhua Qi, Xiaoguang Mao, Yan Lei
ICSM 2013
R2Fix: Automatically Generating Bug Fixes from Bug Reports
Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz
ICST 2013
Using automated program repair for evaluating the effectiveness of fault localization techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang
ISSTA 2013
Automatically Repairing Concurrency Bugs with ARC
David Kelk, Rongxin Wu, Jeremy S. Bradbury
MUSEPAT 2013
Fix Me Up: Repairing Access-Control Bugs in Web Applications
Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov
NDSS 2013
Automated feedback generation for introductory programming assignments
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
PLDI 2013

2012

Multi-objective coevolutionary automated software correction
Josh L. Wilkerson, Daniel R. Tauritz, James M. Bridges
GECCO 2012
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer
ICSE 2012
Automated repair of HTML generation errors in PHP applications using string constraint solving
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
ICSE 2012
Axis: Automatically fixing atomicity violations through solving control constraints
Peng Liu, Deheng Yang
ICSE 2012
A human study of patch maintainability
Zachary P. Fry, Bryan Landau, Westley Weimer
ISSTA 2012
Modular and verified automatic program repair
Francesco Logozzo, Thomas Ball
OOPSLA 2012
Automated Concurrency-Bug Fixing
Guoliang Jin, Wei Zhang, Dongdong Deng
OSDI 2012
GenProg: A Generic Method for Automatic Software Repair
Claire Le Goues, Lingming Zhang, Stephanie Forrest, Westley Weimer
TSE 38 (1) 2012

2011

Code-based automated program fixing
Yu Pei, Yi Wei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
ASE 2011
Evolutionary repair of faulty software
Andrea Arcuri
Appl. Soft Comput. 11 (4) 2011
Automated error localization and correction for imperative programs
Robert Könighofer, Roderick Bloem
FMCAD 2011
Automated atomicity-violation fixing
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
PLDI 2011
A Formal Approach to Fixing Bugs
Sara Kalvala, Richard Warburton
SBMF 2011
Specification-Based Program Repair Using SAT
Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
TACAS 2011

2010

Automated program repair through the evolution of assembly code
Gabriele Bavota, Stephanie Forrest, Westley Weimer
ASE 2010
Automatic program repair with evolutionary computation
Westley Weimer, Stephanie Forrest, Claire Le Goues, Lingming Zhang
Commun. ACM 53 (5) 2010
Automatic Error Correction of Java Programs
Christian Kern, Javier Esparza
FMICS 2010
Designing better fitness functions for automated program repair
Josh L. Wilkerson, Claire Le Goues, Stephanie Forrest, Westley Weimer
GECCO 2010
Recurring bug fixes in object-oriented programs
Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen
ICSE 2010
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Vidroha Debroy, W. Eric Wong
ICST 2010
Automated fixing of programs with contracts
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Andrew C. Rice, Bertrand Meyer, Andreas Zeller
ISSTA 2010

2009

Generating Fixes from Object Behavior Anomalies
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer
ASE 2009
ReAssert: Suggesting Repairs for Broken Unit Tests
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
ASE 2009
A genetic programming approach to automated software repair
Stephanie Forrest, Lingming Zhang, Westley Weimer, Claire Le Goues
GECCO 2009
BugFix: A learning-based tool to assist developers in fixing bugs
Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupta
ICPC 2009
Automatically finding patches using genetic programming
Westley Weimer, Lingming Zhang, Claire Le Goues, Stephanie Forrest
ICSE 2009
Automatically patching errors in deployed software
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou-Douskos, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard
SOSP 2009
Program Repair as Sound Optimization of Broken Programs
Bernd Fischer, Ando Saabas, Tarmo Uustalu
TASE 2009

2008

Exterminator: Automatically correcting memory errors with high probability
Gene Novark, Emery D. Berger, Benjamin G. Zorn
Commun. ACM 51 (12) 2008
Automatic Generation of Local Repairs for Boolean Programs
Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson
FMCAD 2008
On the automation of fixing software bugs
Andrea Arcuri
ICSE Companion 2008
A novel co-evolutionary approach to automatic software bug fixing
Andrea Arcuri, Xin Yao
IEEE Congress on Evolutionary Computation 2008

2007

Exterminator: automatically correcting memory errors with high probability
Gene Novark, Emery D. Berger, Benjamin G. Zorn
PLDI 2007

2006

Repair of Boolean Programs with an Application to C
Andreas Griesmayer, Roderick Bloem, Byron Cook
CAV 2006
Patches as better bug reports
Westley Weimer
GPCE 2006

2005

Program Repair as a Game
Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
CAV 2005
Finding and Fixing Faults
Stefan Staber, Barbara Jobstmann, Roderick Bloem
CHARME 2005