paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair

Shibboleth：自动程序修复中的混合式补丁正确性评估
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 3/10 · 该论文属于自动程序修复中的补丁正确性评估，可能涉及程序分析与调试，但未涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析，与用户当前核心研究画像交集较少。引用 0 inbox
Ali Ghanbari, Andrian (Andi) Marcus
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出混合式补丁正确性评估方法 Shibboleth，自动识别自动程序修复中通过测试却未真正修复缺陷的补丁。

基于测试的生成-验证式自动程序修复（APR）会产出大量通过测试套件却并未真正修复缺陷的补丁，开发者必须逐一人工审查，耗时巨大，削弱了 APR 降低调试成本的作用。针对该问题，本文提出 Shibboleth——一种混合式补丁正确性评估方法，旨在自动判定 APR 生成的补丁是否真正修复了缺陷，从而减少人工检查的负担。所给摘要未给出该方法的具体技术组成与实验评估细节。

问题
基于测试的生成-验证式 APR 会产生大量通过测试但未修复缺陷的补丁，必须由开发者人工审查，成本高昂。
方法
提出 Shibboleth，一种混合式（hybrid）补丁正确性评估方法，用于自动区分真正修复缺陷的补丁与仅通过测试的补丁。
评估
所给摘要未描述具体的评估方式与实验结果。
原文摘要（Abstract）

Test-based generate-and-validate automated program repair (APR) systems generate many patches that pass the test suite without fixing the bug. The generated patches must be manually inspected by the developers, a task that tends to be time-consuming, thereby diminishing the role of APR in reducing debugging costs.

链接与引用

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

BibTeX 
@inproceedings{paperbot7296,
  title = {Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair},
  author = {Ali Ghanbari and Andrian (Andi) Marcus},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559519}
}