2018年软件工程顶会中有关自动修复（automated program repair）的文章

前言

这里记录今年顶会有关自动修复的文章，都是值得认真学习阅读的。大概要从两个方面学习：
1）文章的内容（讲了什么）；
2）文章的写作思路（如何组织，如何让评委眼前一亮）。

一、FSE 2018（https://2018.fseconference.org/）

1. Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
   Andrew Wood, Paige Rodeghero , Ameer Armaly, Collin McMillan

2. MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
   Junhee Lee, Seongjoon Hong, Hakjoo Oh

3. Visual Web Test Repair
   Andrea Stocco, Rahulkrishna Yandrapally, Ali Mesbah
   Pre-print

4. Symbolic Execution with Existential Second-Order Constraints
   Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury

5. MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
   Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, Ananth Grama

6. Feedback-Directed Differential Testing of Interactive Debuggers
   Daniel Lehmann, Michael Pradel

7. Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
   Masatomo Hashimoto, Akira Mori, Tomonori Izumida

8. Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
   Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu

9. Improving IR-Based Bug Localization with Context-Aware Query Reformulation
   Mohammad Masudur Rahman, Chanchal K. Roy

二、ISSTA 2018（https://conf.researchr.org/home/issta-2018）

1. Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
   Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon

2. Comparing developer-provided to user-provided tests for fault localization and automated program repair
   René Just, Chris Parnin, Ian Drosos, Michael D. Ernst

3. Eliminating Timing Side-channel Leaks Using Program Repair
   Meng Wu, Shengjian (Daniel) Guo, Patrick Schaumont, Chao Wang

4. Shaping Program Repair Space with Existing Patches and Similar Code
   Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen
   Pre-print

5. Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
   Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M Rao, R.P. Jagadeesh Chandra Bose, Neville Dubash, Sanjay Podder

三、ICSE 2018（https://www.icse2018.org/）

1. Context-Aware Patch Generation for Better Automated Program Repair
   Ming Wen (The Hong Kong University of Science and Technology), Junjie Chen (Peking University), Rongxin Wu (The Hong Kong University of Science and Technology), Dan Hao (Peking University), Shing-Chi Cheung (The Hong Kong University of Science and Technology)

2. Towards Practical Program Repair with On-demand Candidate Generation
   Jinru Hua (The University of Texas at Austin), Mengshi Zhang (The University of Texas at Austin), Kaiyuan Wang (The University of Texas at Austin), Sarfraz Khurshid (The University of Texas at Austin)

3. [Journal First] A Correlation Study Between Automated Program Repair and Test-Suite Metrics
   Jooyong Yi (Innopolis University), Shin Hwei Tan (National University of Singapore), Sergey Mechtaev (National University of Singapore), Marcel Böhme (National University of Singapore), Abhik Roychoudhury (National University of Singapore)

4. [Journal First] Do Automated Program Repair Techniques Repair Hard and Important Bugs?
   Manish Motwani (University of Massachusetts), Sandhya Sankaranarayanan (University of Massachusetts), René Just (University of Massachusetts), Yuriy Brun (University of Massachusetts)

5. Semantic Program Repair Using a Reference Implementation
   Sergey Mechtaev (National University of Singapore), Manh-Dung Nguyen (National University of Singapore), Yannic Noller (Humboldt University of Berlin), Lars Grunske (Humboldt University of Berlin), Abhik Roychoudhury (National University of Singapore)

6. Automated Repair of Mobile Friendly Problems in Web Pages
   Sonal Mahajan (University of Southern California), Negarsadat Abolhassani (University of Southern California), Phil McMinn (University of Sheffield), William G. J. Halfond (University of Southern California)

7. Static Automated Program Repair for Heap Properties
   Rijnard van Tonder (Carnegie Mellon University), Claire Le Goues (Carnegie Mellon University)

8. [Journal First] Overfitting in Semantics-Based Automated Program Repair
   Xuan-Bach D. Le (Singapore Management University), Ferdian Thung (Singapore Management University), David Lo (Singapore Management University), Claire Le Goues (Carnegie Mellon University)