Reading List on Automated Program Repair

Some resources:
https://www.monperrus.net/martin/automatic-software-repair

2017

• DeepFix: Fixing Common C Language Errors by Deep Learning
  Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade
  DeepFix: Fixing Common C Language Errors by Deep Learning Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade AAAI 2017: 1345-1351
• Contract-based program repair without the contracts
  Liushan Chen, Yu Pei, Carlo A. Furia
  Contract-based program repair without the contracts Liushan Chen, Yu Pei, Carlo A. Furia ASE 2017: 637-647
• ELIXIR: effective object oriented program repair
  Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
  ELIXIR: effective object oriented program repair Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad ASE 2017: 648-659
• IntPTI: automatic integer error repair with proper-type inference
  Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jia-Guang Sun
  IntPTI: automatic integer error repair with proper-type inference Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jia-Guang Sun ASE 2017: 996-1001
• Leveraging syntax-related code for automated program repair
  Qi Xin, Steven P. Reiss
  Leveraging syntax-related code for automated program repair Qi Xin, Steven P. Reiss ASE 2017: 660-670
• Tortoise: interactive system configuration repair
  Aaron Weiss, Arjun Guha, Yuriy Brun
  Tortoise: interactive system configuration repair Aaron Weiss, Arjun Guha, Yuriy Brun ASE 2017: 625-636
• Repairing Decision-Making Programs Under Uncertainty
  Aws Albarghouthi, Loris D'Antoni, Samuel Drews
  Repairing Decision-Making Programs Under Uncertainty Aws Albarghouthi, Loris D'Antoni, Samuel Drews CAV (1) 2017: 181-200
• New Strategies for Selecting Reuse Candidates on Automated Program Repair
  Akito Tanikado, Haruki Yokoyama, Masahiro Yamamoto, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto
  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: 266-267
• A feasibility study of using automated program repair for introductory programming assignments
  Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
  A feasibility study of using automated program repair for introductory programming assignments Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury ESEC/SIGSOFT FSE 2017: 740-751
• Automatic inference of code transforms for patch generation
  Fan Long, Peter Amidon, Martin C. Rinard
  Automatic inference of code transforms for patch generation Fan Long, Peter Amidon, Martin C. Rinard ESEC/SIGSOFT FSE 2017: 727-739
• Automatically diagnosing and repairing error handling bugs in C
  Yuchi Tian, Baishakhi Ray
  Automatically diagnosing and repairing error handling bugs in C Yuchi Tian, Baishakhi Ray ESEC/SIGSOFT FSE 2017: 752-762
• Better test cases for better automated program repair
  Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, Lin Tan
  Better test cases for better automated program repair Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, Lin Tan ESEC/SIGSOFT FSE 2017: 831-841
• NoFAQ: synthesizing command repairs from examples
  Loris D'Antoni, Rishabh Singh, Michael Vaughn
  NoFAQ: synthesizing command repairs from examples Loris D'Antoni, Rishabh Singh, Michael Vaughn ESEC/SIGSOFT FSE 2017: 582-592
• 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
  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 ESEC/SIGSOFT FSE 2017: 593-604
• Synergistic debug-repair of heap manipulations
  Sahil Verma, Subhajit Roy
  Synergistic debug-repair of heap manipulations Sahil Verma, Subhajit Roy ESEC/SIGSOFT FSE 2017: 163-173
• 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
  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 ESEC/SIGSOFT FSE 2017: 117-128
• Common Bug-Fix Patterns: A Large-Scale Observational Study
  Eduardo Cunha Campos, Marcelo de Almeida Maia
  Common Bug-Fix Patterns: A Large-Scale Observational Study Eduardo Cunha Campos, Marcelo de Almeida Maia ESEM 2017: 404-413
• 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
  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 Empirical Software Engineering 22(4): 1936-1964 (2017)
• A Generic Algorithm for Program Repair
  Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
  A Generic Algorithm for Program Repair Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili FormaliSE@ICSE 2017: 65-71
• 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
  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: 404-415
• Precise condition synthesis for program repair
  Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
  Precise condition synthesis for program repair Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang ICSE 2017: 416-426
• Repairing event race errors by controlling nondeterminism
  Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
  Repairing event race errors by controlling nondeterminism Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen ICSE 2017: 289-299
• Codeflaws: a programming competition benchmark for evaluating automated program repair tools
  Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
  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: 180-182
• Production-Driven Patch Generation
  Thomas Durieux, Youssef Hamadi, Martin Monperrus
  Production-Driven Patch Generation Thomas Durieux, Youssef Hamadi, Martin Monperrus ICSE-NIER 2017: 23-26
• An Empirical Study on the Usage of Fault Localization in Automated Program Repair
  Deheng Yang, Yuhua Qi, Xiaoguang Mao
  An Empirical Study on the Usage of Fault Localization in Automated Program Repair Deheng Yang, Yuhua Qi, Xiaoguang Mao ICSME 2017: 504-508
• 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
  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 IEEE Trans. Software Eng. 43(1): 34-55 (2017)
• Automated repair of layout cross browser issues using search-based techniques
  Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
  Automated repair of layout cross browser issues using search-based techniques Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond ISSTA 2017: 249-260
• Identifying test-suite-overfitted patches through test case generation
  Qi Xin, Steven P. Reiss
  Identifying test-suite-overfitted patches through test case generation Qi Xin, Steven P. Reiss ISSTA 2017: 226-236
• Impact of tool support in patch construction
  Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon
  Impact of tool support in patch construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon ISSTA 2017: 237-248
• JFIX: semantics-based repair of Java programs via symbolic PathFinder
  Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
  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: 376-379
• XFix: an automated tool for the repair of layout cross browser issues
  Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
  XFix: an automated tool for the repair of layout cross browser issues Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond ISSTA 2017: 368-371
• 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
  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 Journal of Systems and Software 126: 127-140 (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
  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: 14-20
• Dynamic patch generation for null pointer exceptions using metaprogramming
  Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus
  Dynamic patch generation for null pointer exceptions using metaprogramming Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus SANER 2017: 349-358
• 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
  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: 14-20
• QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge
  Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama
  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: 55-56
• An Investigation into the Use of Mutation Analysis for Automated Program Repair
  Christopher Steven Timperley, Susan Stepney, Claire Le Goues
  An Investigation into the Use of Mutation Analysis for Automated Program Repair Christopher Steven Timperley, Susan Stepney, Claire Le Goues SSBSE 2017: 99-114
• Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
  ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
  Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest TACAS (1) 2017: 301-318

2016

• BovInspector: automatic inspection and repair of buffer overflow vulnerabilities
  Fengjuan Gao, Linzhang Wang, Xuandong Li
  BovInspector: automatic inspection and repair of buffer overflow vulnerabilities Fengjuan Gao, Linzhang Wang, Xuandong Li ASE 2016: 786-791
• A Sketching-Based Approach for Debugging Using Test Cases
  Jinru Hua, Sarfraz Khurshid
  A Sketching-Based Approach for Debugging Using Test Cases Jinru Hua, Sarfraz Khurshid ATVA 2016: 463-478
• Qlose: Program Repair with Quantitative Objectives
  Loris D'Antoni, Roopsha Samanta, Rishabh Singh
  Qlose: Program Repair with Quantitative Objectives Loris D'Antoni, Roopsha Samanta, Rishabh Singh CAV (2) 2016: 383-401
• Sound and Complete Mutation-Based Program Repair
  Bat-Chen Rothenberg, Orna Grumberg
  Sound and Complete Mutation-Based Program Repair Bat-Chen Rothenberg, Orna Grumberg FM 2016: 593-611
• Optimizing horn solvers for network repair
  Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
  Optimizing horn solvers for network repair Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster FMCAD 2016: 73-80
• An analysis of the search spaces for generate and validate patch generation systems
  Fan Long, Martin C. Rinard
  An analysis of the search spaces for generate and validate patch generation systems Fan Long, Martin C. Rinard ICSE 2016: 702-713
• Angelix: scalable multiline program patch synthesis via symbolic analysis
  Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
  Angelix: scalable multiline program patch synthesis via symbolic analysis Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury ICSE 2016: 691-701
• Fixing deadlocks via lock pre-acquisitions
  Yan Cai, Lingwei Cao
  Fixing deadlocks via lock pre-acquisitions Yan Cai, Lingwei Cao ICSE 2016: 1109-1120
• Enhancing Automated Program Repair with Deductive Verification
  Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
  Enhancing Automated Program Repair with Deductive Verification Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues ICSME 2016: 428-432
• Repairing Intricate Faults in Code Using Machine Learning and Path Exploration
  Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
  Repairing Intricate Faults in Code Using Machine Learning and Path Exploration Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid ICSME 2016: 453-457
• ARROW: automated repair of races on client-side web pages
  Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
  ARROW: automated repair of races on client-side web pages Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster ISSTA 2016: 201-212
• ASTOR: a program repair library for Java (demo)
  Matias Martinez, Martin Monperrus
  ASTOR: a program repair library for Java (demo) Matias Martinez, Martin Monperrus ISSTA 2016: 441-444
• Optimal sanitization synthesis for web application vulnerability repair
  Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
  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: 189-200
• A deeper look into bug fixes: patterns, replacements, deletions, and additions
  Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo
  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: 512-515
• Automatic patch generation by learning correct code
  Fan Long, Martin C. Rinard
  Automatic patch generation by learning correct code Fan Long, Martin C. Rinard POPL 2016: 298-312
• Automated memory leak fixing on value-flow slices for C programs
  Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
  Automated memory leak fixing on value-flow slices for C programs Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue SAC 2016: 1386-1393
• 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
  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: 1364-1370
• History Driven Program Repair
  Xuan-Bach D. Le, David Lo, Claire Le Goues
  History Driven Program Repair Xuan-Bach D. Le, David Lo, Claire Le Goues SANER 2016: 213-224
• Anti-patterns in search-based program repair
  Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
  Anti-patterns in search-based program repair Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury SIGSOFT FSE 2016: 727-738
• Semi-supervised verified feedback generation
  Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
  Semi-supervised verified feedback generation Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani SIGSOFT FSE 2016: 739-750
• Understanding and generating high quality patches for concurrency bugs
  Haopeng Liu, Yuxi Chen, Shan Lu
  Understanding and generating high quality patches for concurrency bugs Haopeng Liu, Yuxi Chen, Shan Lu SIGSOFT FSE 2016: 715-726
• Improved Crossover Operators for Genetic Programming for Program Repair
  Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, Celso G. Camilo-Junior
  Improved Crossover Operators for Genetic Programming for Program Repair Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, Celso G. Camilo-Junior SSBSE 2016: 112-127

2015

• Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)
  Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei
  Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T) Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei ASE 2015: 307-318
• Repairing Programs with Semantic Code Search (T)
  Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
  Repairing Programs with Semantic Code Search (T) Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun ASE 2015: 295-306
• A Type-Directed Approach to Program Repair
  Alex Reinking, Ruzica Piskac
  A Type-Directed Approach to Program Repair Alex Reinking, Ruzica Piskac CAV (1) 2015: 511-517
• Deductive Program Repair
  Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
  Deductive Program Repair Etienne Kneuss, Manos Koukoutos, Viktor Kuncak CAV (2) 2015: 217-233
• Is the cure worse than the disease? overfitting in automated program repair
  Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun
  Is the cure worse than the disease? overfitting in automated program repair Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun ESEC/SIGSOFT FSE 2015: 532-543
• Staged program repair with condition synthesis
  Fan Long, Martin C. Rinard
  Staged program repair with condition synthesis Fan Long, Martin C. Rinard ESEC/SIGSOFT FSE 2015: 166-178
• Mining software repair models for reasoning on the search space of automated program fixing
  Matias Martinez, Martin Monperrus
  Mining software repair models for reasoning on the search space of automated program fixing Matias Martinez, Martin Monperrus Empirical Software Engineering 20(1): 176-205 (2015)
• An Empirical Study on Real Bug Fixes
  Hao Zhong, Zhendong Su
  An Empirical Study on Real Bug Fixes Hao Zhong, Zhendong Su ICSE (1) 2015: 913-923
• CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
  Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu
  CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu ICSE (1) 2015: 902-912
• DirectFix: Looking for Simple Program Repairs
  Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
  DirectFix: Looking for Simple Program Repairs Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury ICSE (1) 2015: 448-458
• Safe Memory-Leak Fixing for C Programs
  Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei
  Safe Memory-Leak Fixing for C Programs Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei ICSE (1) 2015: 459-470
• relifix: Automated Repair of Software Regressions
  Shin Hwei Tan, Abhik Roychoudhury
  relifix: Automated Repair of Software Regressions Shin Hwei Tan, Abhik Roychoudhury ICSE (1) 2015: 471-482
• Automated Program Repair in an Integrated Development Environment
  Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
  Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer ICSE (2) 2015: 681-684
• Poster: Automatically Fixing Real-World JavaScript Performance Bugs
  Marija Selakovic, Michael Pradel
  Poster: Automatically Fixing Real-World JavaScript Performance Bugs Marija Selakovic, Michael Pradel ICSE (2) 2015: 811-812
• Toward improving graftability on automated program repair
  Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
  Toward improving graftability on automated program repair Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto ICSME 2015: 511-515
• Toward improving graftability on automated program repair
  Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
  Toward improving graftability on automated program repair Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto ICSME 2015: 511-515
• 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
  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 IEEE Trans. Software Eng. 41(12): 1236-1256 (2015)
• Experience report: How do techniques, programs, and tests impact automated program repair?
  Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li
  Experience report: How do techniques, programs, and tests impact automated program repair? Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li ISSRE 2015: 194-204
• Should fixing these failures be delegated to automated program repair?
  Xuan-Bach D. Le, Tien-Duy B. Le, David Lo
  Should fixing these failures be delegated to automated program repair? Xuan-Bach D. Le, Tien-Duy B. Le, David Lo ISSRE 2015: 427-437
• An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
  Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard
  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: 24-36
• ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
  Sepideh Khoshnood, Markus Kusano, Chao Wang
  ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs Sepideh Khoshnood, Markus Kusano, Chao Wang ISSTA 2015: 165-176
• Automatic error elimination by horizontal code transfer across multiple applications
  Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard
  Automatic error elimination by horizontal code transfer across multiple applications Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard PLDI 2015: 43-54

2014

• Towards self-healing smartphone software via automated patching
  Tanzirul Azim, Iulian Neamtiu, Lisa M. Marvel
  Towards self-healing smartphone software via automated patching Tanzirul Azim, Iulian Neamtiu, Lisa M. Marvel ASE 2014: 623-628
• Automatic repair of buggy if conditions and missing preconditions with SMT
  Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus
  Automatic repair of buggy if conditions and missing preconditions with SMT Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus CSTVA 2014: 30-39
• Automatically Fixing C Buffer Overflows Using Program Transformations
  Alex Shaw, Dusten Doggett, Munawar Hafiz
  Automatically Fixing C Buffer Overflows Using Program Transformations Alex Shaw, Dusten Doggett, Munawar Hafiz DSN 2014: 124-135
• Automatic Program Repair by Fixing Contracts
  Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
  Automatic Program Repair by Fixing Contracts Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer FASE 2014: 246-260
• Martin Monperrus
  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: 234-242
• MintHint: automated synthesis of repair hints
  Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
  MintHint: automated synthesis of repair hints Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso ICSE 2014: 266-276
• The strength of random search on automated program repair
  Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Chengsong Wang
  The strength of random search on automated program repair Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Chengsong Wang ICSE 2014: 254-265
• Vejovis: suggesting fixes for JavaScript faults
  Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah
  Vejovis: suggesting fixes for JavaScript faults Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah ICSE 2014: 837-847
• Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches
  Matias Martinez, Westley Weimer, Martin Monperrus
  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: 492-495
• An Assessment of the Quality of Automated Program Operator Repair
  Fatmah Yousef Assiri, James M. Bieman
  An Assessment of the Quality of Automated Program Operator Repair Fatmah Yousef Assiri, James M. Bieman ICST 2014: 273-282
• Automated Fixing of Programs with Contracts
  Yu Pei, Carlo A. Furia, Martín Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
  Automated Fixing of Programs with Contracts Yu Pei, Carlo A. Furia, Martín Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller IEEE Trans. Software Eng. 40(5): 427-449 (2014)
• Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
  Yiyan Lin, Sandeep S. Kulkarni
  Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability Yiyan Lin, Sandeep S. Kulkarni ISSTA 2014: 237-247
• Defects4J: a database of existing faults to enable controlled testing studies for Java programs
  René Just, Darioush Jalali, Michael D. Ernst
  Defects4J: a database of existing faults to enable controlled testing studies for Java programs René Just, Darioush Jalali, Michael D. Ernst ISSTA 2014: 437-440
• Semantic differential repair for input validation and sanitization
  Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan
  Semantic differential repair for input validation and sanitization Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan ISSTA 2014: 225-236
• Cost-Aware Automatic Program Repair
  Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
  Cost-Aware Automatic Program Repair Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson SAS 2014: 268-284
• Automatically generated patches as debugging aids: a human study
  Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu
  Automatically generated patches as debugging aids: a human study Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu SIGSOFT FSE 2014: 64-74
• Grail: context-aware fixing of concurrency bugs
  Peng Liu, Omer Tripp, Charles Zhang
  Grail: context-aware fixing of concurrency bugs Peng Liu, Omer Tripp, Charles Zhang SIGSOFT FSE 2014: 318-329
• The plastic surgery hypothesis
  Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro
  The plastic surgery hypothesis Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro SIGSOFT FSE 2014: 306-317
• Automatic detection and correction of web application vulnerabilities using data mining to predict false positives
  Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
  Automatic detection and correction of web application vulnerabilities using data mining to predict false positives Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia WWW 2014: 63-74

2013

• Leveraging program equivalence for adaptive program repair: Models and first results
  Westley Weimer, Zachary P. Fry, Stephanie Forrest
  Leveraging program equivalence for adaptive program repair: Models and first results Westley Weimer, Zachary P. Fry, Stephanie Forrest ASE 2013: 356-366
• Automated repair of binary and assembly programs for cooperating embedded devices
  Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest
  Automated repair of binary and assembly programs for cooperating embedded devices Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest ASPLOS 2013: 317-328
• Program Repair without Regret
  Christian von Essen, Barbara Jobstmann
  Program Repair without Regret Christian von Essen, Barbara Jobstmann CAV 2013: 896-911
• Automatic patch generation learned from human-written patches
  Dongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim
  Automatic patch generation learned from human-written patches Dongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim ICSE 2013: 802-811
• Program transformations to fix C integers
  Zack Coker, Munawar Hafiz
  Program transformations to fix C integers Zack Coker, Munawar Hafiz ICSE 2013: 792-801
• SemFix: program repair via semantic analysis
  Hoang D. T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
  SemFix: program repair via semantic analysis Hoang D. T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra ICSE 2013: 772-781
• Efficient Automated Program Repair through Fault-Recorded Testing Prioritization
  Yuhua Qi, Xiaoguang Mao, Yan Lei
  Efficient Automated Program Repair through Fault-Recorded Testing Prioritization Yuhua Qi, Xiaoguang Mao, Yan Lei ICSM 2013: 180-189
• R2Fix: Automatically Generating Bug Fixes from Bug Reports
  Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz
  R2Fix: Automatically Generating Bug Fixes from Bug Reports Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz ICST 2013: 282-291
• Using automated program repair for evaluating the effectiveness of fault localization techniques
  Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang
  Using automated program repair for evaluating the effectiveness of fault localization techniques Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang ISSTA 2013: 191-201
• Automatically Repairing Concurrency Bugs with ARC
  David Kelk, Kevin Jalbert, Jeremy S. Bradbury
  Automatically Repairing Concurrency Bugs with ARC David Kelk, Kevin Jalbert, Jeremy S. Bradbury MUSEPAT 2013: 73-84
• Fix Me Up: Repairing Access-Control Bugs in Web Applications
  Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov
  Fix Me Up: Repairing Access-Control Bugs in Web Applications Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov NDSS 2013

2012

• Multi-objective coevolutionary automated software correction
  Josh L. Wilkerson, Daniel R. Tauritz, James M. Bridges
  Multi-objective coevolutionary automated software correction Josh L. Wilkerson, Daniel R. Tauritz, James M. Bridges GECCO 2012: 1229-1236
• Repair with On-The-Fly Program Analysis
  Robert Könighofer, Roderick Bloem
  Repair with On-The-Fly Program Analysis Robert Könighofer, Roderick Bloem Haifa Verification Conference 2012: 56-71
• 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
  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: 3-13
• 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
  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: 277-287
• Axis: Automatically fixing atomicity violations through solving control constraints
  Peng Liu, Charles Zhang
  Axis: Automatically fixing atomicity violations through solving control constraints Peng Liu, Charles Zhang ICSE 2012: 299-309
• GenProg: A Generic Method for Automatic Software Repair
  Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
  GenProg: A Generic Method for Automatic Software Repair Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer IEEE Trans. Software Eng. 38(1): 54-72 (2012)
• A human study of patch maintainability
  Zachary P. Fry, Bryan Landau, Westley Weimer
  A human study of patch maintainability Zachary P. Fry, Bryan Landau, Westley Weimer ISSTA 2012: 177-187
• Modular and verified automatic program repair
  Francesco Logozzo, Thomas Ball
  Modular and verified automatic program repair Francesco Logozzo, Thomas Ball OOPSLA 2012: 133-146
• Automated Concurrency-Bug Fixing
  Guoliang Jin, Wei Zhang, Dongdong Deng
  Automated Concurrency-Bug Fixing Guoliang Jin, Wei Zhang, Dongdong Deng OSDI 2012: 221-236

2011

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

2010

• Automated program repair through the evolution of assembly code
  Eric M. Schulte, Stephanie Forrest, Westley Weimer
  Automated program repair through the evolution of assembly code Eric M. Schulte, Stephanie Forrest, Westley Weimer ASE 2010: 313-316
• Automatic program repair with evolutionary computation
  Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
  Automatic program repair with evolutionary computation Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen Commun. ACM 53(5): 109-116 (2010)
• Automatic Error Correction of Java Programs
  Christian Kern, Javier Esparza
  Automatic Error Correction of Java Programs Christian Kern, Javier Esparza FMICS 2010: 67-81
• Designing better fitness functions for automated program repair
  Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer
  Designing better fitness functions for automated program repair Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer GECCO 2010: 965-972
• Recurring bug fixes in object-oriented programs
  Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen
  Recurring bug fixes in object-oriented programs Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen ICSE (1) 2010: 315-324
• Using Mutation to Automatically Suggest Fixes for Faulty Programs
  Vidroha Debroy, W. Eric Wong
  Using Mutation to Automatically Suggest Fixes for Faulty Programs Vidroha Debroy, W. Eric Wong ICST 2010: 65-74
• Automated fixing of programs with contracts
  Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
  Automated fixing of programs with contracts Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller ISSTA 2010: 61-72

2009

• Generating Fixes from Object Behavior Anomalies
  Valentin Dallmeier, Andreas Zeller, Bertrand Meyer
  Generating Fixes from Object Behavior Anomalies Valentin Dallmeier, Andreas Zeller, Bertrand Meyer ASE 2009: 550-554
• ReAssert: Suggesting Repairs for Broken Unit Tests
  Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
  ReAssert: Suggesting Repairs for Broken Unit Tests Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov ASE 2009: 433-444
• A genetic programming approach to automated software repair
  Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues
  A genetic programming approach to automated software repair Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues GECCO 2009: 947-954
• BugFix: A learning-based tool to assist developers in fixing bugs
  Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupta
  BugFix: A learning-based tool to assist developers in fixing bugs Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupta ICPC 2009: 70-79
• Automatically finding patches using genetic programming
  Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest
  Automatically finding patches using genetic programming Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest ICSE 2009: 364-374
• 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
  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: 87-102
• Program Repair as Sound Optimization of Broken Programs
  Bernd Fischer, Ando Saabas, Tarmo Uustalu
  Program Repair as Sound Optimization of Broken Programs Bernd Fischer, Ando Saabas, Tarmo Uustalu TASE 2009: 165-173

2008

• Automatic Generation of Local Repairs for Boolean Programs
  Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson
  Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson FMCAD 2008: 1-10
• On the automation of fixing software bugs
  Andrea Arcuri
  On the automation of fixing software bugs Andrea Arcuri ICSE Companion 2008: 1003-1006
• A novel co-evolutionary approach to automatic software bug fixing
  Andrea Arcuri, Xin Yao
  A novel co-evolutionary approach to automatic software bug fixing Andrea Arcuri, Xin Yao IEEE Congress on Evolutionary Computation 2008: 162-168

2006

• Repair of Boolean Programs with an Application to C
  Andreas Griesmayer, Roderick Bloem, Byron Cook
  Repair of Boolean Programs with an Application to C Andreas Griesmayer, Roderick Bloem, Byron Cook CAV 2006: 358-371
• Patches as better bug reports
  Westley Weimer
  Patches as better bug reports Westley Weimer GPCE 2006: 181-190

2005

• Program Repair as a Game
  Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
  Program Repair as a Game Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem CAV 2005: 226-238
• Finding and Fixing Faults
  Stefan Staber, Barbara Jobstmann, Roderick Bloem
  Finding and Fixing Faults Stefan Staber, Barbara Jobstmann, Roderick Bloem CHARME 2005: 35-49