paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automated Program Repair from Fuzzing Perspective

从模糊测试视角看自动化程序修复
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 2/10 · 该论文研究模糊测试与自动程序修复中的补丁调度,属于软件测试与修复领域,但未涉及用户核心关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,交叉度很低。引用 11 inbox
YoungJae Kim, Seungheon Han, Askar Yeltayuly Khamit, Jooyong Yi
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:将模糊测试与自动程序修复统一视为搜索问题,提出补丁调度算法 Casino,并开源仿真工具 SimAPR。

本文在模糊测试(fuzzing)与自动化程序修复(APR)之间建立联系,指出两者本质上都可视为搜索问题,从而可以把模糊测试领域的经验迁移到 APR 中。论文分为两部分:第一部分系统阐述 fuzzing 与 APR 在搜索空间、搜索目标与搜索策略上的相似性;第二部分基于这一视角提出新的补丁调度(patch-scheduling)算法 Casino,旨在提升 APR 过程中对候选补丁的搜索效率。作者通过实验对 Casino 与已有补丁调度算法进行比较,结果表明 Casino 在搜索效率上优于现有算法。此外,论文还发布 SimAPR 仿真工具,用于评估新的补丁调度算法,以推动该方向的开放科学与可复现研究。

问题
自动化程序修复需要在庞大的候选补丁空间中进行搜索,而补丁调度策略直接影响搜索效率;本文关注如何借鉴模糊测试的搜索经验来改进该过程。
方法
论文首先建立 fuzzing 与 APR 作为搜索问题的类比,随后据此设计新的补丁调度算法 Casino,并提供可用于评估调度算法的仿真工具 SimAPR。
评估
通过实验将 Casino 与已有补丁调度算法进行对比,结果表明 Casino 在搜索效率上表现更优;同时以 SimAPR 支持后续算法的可复现评估。
原文摘要(Abstract)

In this work, we present a novel approach that connects two closely-related topics: fuzzing and automated program repair (APR). The paper is divided into two parts. In the first part, we describe the similarities between fuzzing and APR both of which can be viewed as a search problem. In the second part, we introduce a new patch-scheduling algorithm called Casino, which is designed from a fuzzing perspective to enhance search efficiency. Our experiments demonstrate that Casino outperforms existing algorithms. We also promote open science by sharing SimAPR, a simulation tool that can be used to evaluate new patch-scheduling algorithms.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{KimHKY23,
  title = {Automated Program Repair from Fuzzing Perspective},
  author = {YoungJae Kim and Seungheon Han and Askar Yeltayuly Khamit and Jooyong Yi},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598101}
}