ISSTA 2022
Mon 18 - Fri 22 July 2022 Online
Thu 21 Jul 2022 18:00 - 18:20 at ISSTA 2 - Session 3-8: Program Repair C
Fri 22 Jul 2022 07:20 - 07:40 at ISSTA 2 - Session 2-14: Program Repair B Chair(s): Christoph Csallner

Automatic Program Repair (APR) aims at fixing buggy source code with less manual debugging efforts, which plays a vital role in improving software reliability and development productivity. Recent APR works have achieved remarkable progress via applying deep learning (DL), particularly neural machine translation (NMT) techniques. However, we observe that existing DL-based APR models suffer from at least two severe drawbacks: (1) Most of them can only generate patches for a single programming language, as a result, to repair multiple languages, we have to build and train many repairing models. (2) Most of them are developed offline. Therefore, they won’t function when there are new-coming requirements.

To address the above problems, a T5-based APR framework equipped with continual learning ability across multiple programming languages is proposed, namely \emph{C}ont\emph{I}nual \emph{R}epair a\emph{C}ross Programming \emph{L}anguag\emph{E}s (\emph{CIRCLE}). Specifically, (1) CIRCLE utilizes a prompting function to narrow the gap between natural language processing (NLP) pre-trained tasks and APR. (2) CIRCLE adopts a difficulty-based rehearsal strategy to achieve lifelong learning for APR without access to the full historical data. (3) An elastic regularization method is employed to strengthen CIRCLE’s continual learning ability further, preventing it from catastrophic forgetting. (4) CIRCLE applies a simple but effective re-repairing method to revise generated errors caused by crossing multiple programming languages.

We train CIRCLE for four languages (i.e., C, JAVA, JavaScript, and Python) and evaluate it on five commonly used benchmarks. The experimental results demonstrate that CIRCLE not only effectively and efficiently repairs multiple programming languages in continual learning settings, but also achieves state-of-the-art performance (e.g., fixes 64 Defects4J bugs) with a single repair model.

Thu 21 Jul

Displayed time zone: Seoul change

18:00 - 18:40
Session 3-8: Program Repair CTechnical Papers at ISSTA 2
18:00
20m
Talk
CIRCLE: Continual Repair across Programming Languages
Technical Papers
Wei Yuan The University of Queensland, Quanjun Zhang Nanjing University, Tieke He Nanjing University, Chunrong Fang Nanjing University, Nguyen Quoc Viet Hung Griffith University, Xiaodong Hao Nanjing University, Hongzhi Yin The University of Queensland
DOI
18:20
20m
Talk
Program Vulnerability Repair via Inductive Inference
Technical Papers
Yuntong Zhang National University of Singapore, Xiang Gao Beihang University, China, Gregory J. Duck National University of Singapore, Abhik Roychoudhury National University of Singapore
DOI

Fri 22 Jul

Displayed time zone: Seoul change

07:00 - 08:20
Session 2-14: Program Repair BTechnical Papers at ISSTA 2
Chair(s): Christoph Csallner University of Texas at Arlington
07:00
20m
Talk
ATR: Template-based Repair for Alloy Specifications
Technical Papers
Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen George Mason University, Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Hamid Bagheri University of Nebraska-Lincoln
DOI
07:20
20m
Talk
CIRCLE: Continual Repair across Programming Languages
Technical Papers
Wei Yuan The University of Queensland, Quanjun Zhang Nanjing University, Tieke He Nanjing University, Chunrong Fang Nanjing University, Nguyen Quoc Viet Hung Griffith University, Xiaodong Hao Nanjing University, Hongzhi Yin The University of Queensland
DOI
07:40
20m
Talk
Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code
Technical Papers
Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas
DOI Pre-print
08:00
20m
Talk
Program Vulnerability Repair via Inductive Inference
Technical Papers
Yuntong Zhang National University of Singapore, Xiang Gao Beihang University, China, Gregory J. Duck National University of Singapore, Abhik Roychoudhury National University of Singapore
DOI