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产生的不停质量更高（通过了更大比例的验证测试）
posted @ 2022-06-02 02:01  雪溯  阅读(32)  评论(0)  编辑  收藏  举报