location: Current position: Zhilei Ren >> Scientific Research >> Paper Publications

自动程序修复方法研究进展

Hits:

Date of Publication:2022-10-06

Journal:软件学报

Issue:4

Page Number:771-784

ISSN No.:1000-9825

Abstract:Automatic program repair helps developers reduce the cost of manual bug fixing. Approaches to test-suite based repair aim to generate code patches to pass the test suite as well as maintain the program execution. This paper reviews available literature on test-suite based repair and report the progress in two directions: Approaches to automatic repair and empirical foundations. First, existing approaches to automatic repair are described in three categories: Search based, exhaustion based, and constraint-solving based patch generation. Second, empirical foundations on repair are detailed, including the argumentation in the research field. Related techniques are then briefly introduced as the supplementation of program repair. Finally, opportunities and challenges are presented to summarize this review. © Copyright 2016, Institute of Software, the Chinese Academy of Sciences. All rights reserved.

Note:新增回溯数据

Pre One:CTOS: Compiler Testing for Optimization Sequences of LLVM

Next One:自动程序修复方法研究进展(Progress on Approaches to Automatic Program Repair)