Proj CMI Paper Reading: Human-In-The-Loop Automatic Program Repair

Abstract

前提：
A query can be thought of as the following question: “When executing this alternative test input, the program produces the following output; is the bug observed”?
本文：
工具：Learn2Fix
特点：这是第⼀个在没有 bug oracle（报告错误的⽤⼾除外）可⽤时的human-in-the-loop、半⾃动修复法
方法：trains an automatic bug oracle
实验：

1. 需要的标注量较少，小于20次查询
2. 使用了Learn2fix之后GenProg产生的不停质量更高（通过了更大比例的验证测试）

标签：Repair,CMI,produces,When,following,Paper,oracle,bug
来源： https://www.cnblogs.com/xuesu/p/16336336.html