paperbot · PL 论文追踪

全部论文 待读 收藏

P2 PRF: a framework for building automatic program repair prototypes for JVM-based languages

PRF：为基于 JVM 的语言构建自动程序修复原型的框架
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 论文聚焦基于测试的自动程序修复框架，属于软件工程/程序修复领域，与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析无直接关联，且未涉及LLM或形式化验证。引用 4 inbox
Ali Ghanbari, Andrian Marcus
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出 PRF：一个可扩展 Java 框架，用于快速构建基于测试的 JVM 语言自动程序修复原型。

PRF 是一个基于 Java 的框架，旨在帮助研究人员为 JVM 语言快速构建基于测试的“生成—验证”式自动程序修复（APR）原型。用户只需通过补丁生成插件扩展该框架，即可实现新的修复技术。PRF 还提供构建 APR 工具所需的其他组件：支持不同粒度谱系故障定位信息的故障定位组件、可配置且安全的补丁验证组件（据称比原生测试快 11 倍以上），以及可定制的后处理组件以生成修复报告。作者提供了演示视频，展示框架用法。

问题
为 JVM 语言构建基于测试的 generate-and-validate 自动程序修复原型时，研究者需重复实现故障定位、补丁验证与报告等基础设施。
方法
PRF 以 Java 框架形式集成可扩展插件式补丁生成、多粒度谱系故障定位、可配置安全补丁验证和可定制修复报告后处理。
评估
通过演示视频展示 PRF 的用法；摘要报告其补丁验证组件比 vanilla testing 快 11+X。
原文摘要（Abstract）

PRF is a Java-based framework that allows researchers to build prototypes of test-based generate-and-validate automatic program repair techniques for JVM languages by simply extending it with their patch generation plugins. The framework also provides other useful components for constructing automatic program repair tools, e.g., a fault localization component that provides spectrum-based fault localization information at different levels of granularity, a configurable and safe patch validation component that is 11+X faster than vanilla testing, and a customizable post-processing component to generate fix reports. A demo video of PRF is available at https://bit.ly/3ehduSS.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot5750,
  title = {PRF: a framework for building automatic program repair prototypes for JVM-based languages},
  author = {Ali Ghanbari and Andrian Marcus},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3417929}
}