paperbot · PL 论文追踪

全部论文 待读 收藏

P2 FixKit: A Program Repair Collection for Python

FixKit:面向 Python 的程序修复集合
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 3/10 · 论文聚焦 Python 自动程序修复框架与工具集成,属于程序分析与软件工程相邻方向,但不涉及用户核心关注的 LLM/Agent、静态分析在 ML/Agentic 程序中的应用、浮点或贝叶斯程序分析,也未提出新 benchmark 或工业落地分析。引用 4 inbox
Marius Smytzek, Martin Eberlein, Kai Werk, Lars Grunske, Andreas Zeller
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 FixKit,一个整合五种修复方法的 Python 自动程序修复框架,支持组件替换与比较。

自动程序修复近年在学术界广受关注:给定含缺陷程序与刻画预期行为的测试套件,修复方法需定位缺陷代码、生成候选补丁并在测试上验证。然而现有修复工具多针对 Java 或 C,作为最流行语言之一的 Python 却缺乏相应方法。本文提出 FixKit——一个面向 Python 的程序修复集合,内含五种修复方法,并提供可扩展框架,便于集成新修复方法、替换故障定位等独立组件。该框架使研究者能够在统一的技术集合上,以较低成本比较和研究各种修复、故障定位与验证方法。摘要未给出具体实验评估数据。

问题
现有自动程序修复工具主要面向 Java 与 C,缺少针对 Python 的修复方法,且不同修复、故障定位与验证技术难以在统一平台上比较。
方法
构建 FixKit 框架,集成五种 Python 程序修复方法,并支持灵活替换故障定位等组件以及接入新的修复方法。
评估
以框架形式提供统一的技术集合,使研究者能够便捷地比较与探究不同修复、故障定位和验证方法;摘要未报告具体实验数据。
原文摘要(Abstract)

In recent years, automatic program repair has gained much attention in the research community. Generally, program repair approaches consider a faulty program and a test suite that captures the program’s intended behavior. The goal is automatically generating a patch that corrects the fault by identifying the faulty code locations, suggesting a candidate fix, and validating it against the provided tests. However, most existing program repair tools focus on Java or C programs, while Python, one of the most popular programming languages, lacks approaches that work on it.We present FixKit, a collection of five program repair approaches for Python programs. Moreover, our framework allows for easy integration of new repair approaches and swapping individual components, such as fault localization. Our framework enables researchers to compare and investigate various repair, fault localization effortlessly, and validation approaches on a common set of techniques.CCS Concepts• Software and its engineering → Software testing and debugging; Search-based software engineering; Genetic programming; Software libraries and repositories.

链接与引用

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

BibTeX
@inproceedings{SmytzekEWGZ24,
  title = {FixKit: A Program Repair Collection for Python},
  author = {Marius Smytzek and Martin Eberlein and Kai Werk and Lars Grunske and Andreas Zeller},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695347}
}