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
    AAAI 2017: 1345-1351
  • [ ] 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
    ASE 2017: 648-659
  • [ ] 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
    ASE 2017: 660-670
  • [ ] 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
    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
    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
    ESEC/SIGSOFT FSE 2017: 740-751
  • [ ] 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
    ESEC/SIGSOFT FSE 2017: 752-762
  • [ ] 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
    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
    ESEC/SIGSOFT FSE 2017: 593-604
  • [ ] 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
    ESEC/SIGSOFT FSE 2017: 117-128
  • [ ] 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
    Empirical Software Engineering 22(4): 1936-1964 (2017)
  • [ ] 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
    ICSE 2017: 404-415
  • [ ] 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
    ICSE 2017: 289-299
  • [x] 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
    ICSE-NIER 2017: 23-26
  • [ ] 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
    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
    ISSTA 2017: 249-260
  • [ ] 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
    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
    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
    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
    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
    MET@ICSE 2017: 14-20
  • [ ] 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
    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
    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
    SSBSE 2017: 99-114
  • [ ] 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
    ASE 2016: 786-791
  • [ ] 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
    CAV (2) 2016: 383-401
  • [ ] 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
    FMCAD 2016: 73-80
  • [ ] 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
    ICSE 2016: 691-701
  • [ ] 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
    ICSME 2016: 428-432
  • [ ] 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
    ISSTA 2016: 201-212
  • [ ] 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
    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
    MSR 2016: 512-515
  • [ ] 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
    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
    SAC 2016: 1364-1370
  • [ ] 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
    SIGSOFT FSE 2016: 727-738
  • [ ] 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
    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
    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
    ASE 2015: 307-318
  • [ ] 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
    CAV (1) 2015: 511-517
  • [ ] 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
    ESEC/SIGSOFT FSE 2015: 532-543
  • [ ] 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
    Empirical Software Engineering 20(1): 176-205 (2015)
  • [ ] 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
    ICSE (1) 2015: 902-912
  • [ ] 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
    ICSE (1) 2015: 459-470
  • [ ] 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
    ICSE (2) 2015: 681-684
  • [ ] 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
    ICSME 2015: 511-515
  • [ ] 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
    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
    ISSRE 2015: 194-204
  • [ ] 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
    ISSTA 2015: 24-36
  • [ ] 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
    PLDI 2015: 43-54

2014

  • [ ] 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
    CSTVA 2014: 30-39
  • [ ] 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
    FASE 2014: 246-260
  • [ ] 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
    ICSE 2014: 266-276
  • [ ] 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
    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
    ICSE Companion 2014: 492-495
  • [ ] 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
    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
    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
    ISSTA 2014: 437-440
  • [ ] 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
    SAS 2014: 268-284
  • [ ] 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
    SIGSOFT FSE 2014: 318-329
  • [ ] 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
    WWW 2014: 63-74

2013

  • [ ] 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
    ASPLOS 2013: 317-328
  • [ ] 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
    ICSE 2013: 802-811
  • [ ] Program transformations to fix C integers
    Zack Coker, Munawar Hafiz
    ICSE 2013: 792-801
  • [x] 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
    ICSM 2013: 180-189
  • [ ] 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
    ISSTA 2013: 191-201
  • [ ] 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
    NDSS 2013

2012

  • [ ] 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
    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
    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
    ICSE 2012: 277-287
  • [ ] 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
    IEEE Trans. Software Eng. 38(1): 54-72 (2012)
  • [ ] 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
    OOPSLA 2012: 133-146
  • [ ] 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
    ASE 2011: 392-395
  • [ ] 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
    FMCAD 2011: 91-100
  • [ ] 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
    SBMF 2011: 172-187
  • [ ] 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
    ASE 2010: 313-316
  • [ ] 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
    FMICS 2010: 67-81
  • [ ] 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
    ICSE (1) 2010: 315-324
  • [ ] 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
    ISSTA 2010: 61-72

2009

  • [ ] 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
    ASE 2009: 433-444
  • [ ] 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
    ICPC 2009: 70-79
  • [ ] 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
    SOSP 2009: 87-102
  • [ ] 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
    FMCAD 2008: 1-10
  • [ ] 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
    IEEE Congress on Evolutionary Computation 2008: 162-168

2006

  • [ ] 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
    GPCE 2006: 181-190

2005

  • [ ] 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
    CHARME 2005: 35-49
05-02 23:33