paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Probabilistic Delta debugging

概率化 Delta 调试
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 该论文属于软件工程中的 Delta 调试/程序缩减，不涉及 LLM/Agent、静态分析、形式化验证、浮点程序分析或贝叶斯程序分析；仅‘概率化’与贝叶斯有非常微弱的字面联系，与用户当前研究画像核心方向无关。引用 51 inbox
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出概率化 Delta 调试方法，以提升对象缩减的效率与效果，缓解现有工具耗时过长、结果冗余的问题。

Delta 调试旨在在保持特定性质的前提下缩减对象，广泛应用于编译器开发、回归故障定位与软件去膨胀等场景。现有算法在效率与效果上仍不理想：摘要举例指出，最先进的 Delta 调试工具 CHISEL 缩减一个 14,092 行程序可能耗时长达 3 小时，且缩减结果可能仍比必要规模大最多 2 倍。针对这一问题，论文提出概率化 Delta 调试（Probabilistic Delta debugging）方法，试图通过概率化策略改进缩减过程。摘要未展开具体算法与实验评估细节，主要贡献在于指出并应对现有 Delta 调试的效率与效果瓶颈。

问题
Delta 调试需要在保持目标性质的同时缩减对象，但现有最先进算法/工具在效率与效果上仍不理想，例如 CHISEL 可能耗时数小时且结果冗余。
方法
论文提出概率化 Delta 调试（Probabilistic Delta debugging）方法，按标题推断其核心是以概率化策略指导对象缩减；摘要未给出具体算法细节。
评估
摘要仅给出 CHISEL 缩减 14,092 行程序耗时可达 3 小时、结果可能大 2 倍的例子作为问题动机，未描述具体评估设置或结果。
原文摘要（Abstract）

The delta debugging problem concerns how to reduce an object while preserving a certain property, and widely exists in many applications, such as compiler development, regression fault localization, and software debloating. Given the importance of delta debugging, multiple algorithms have been proposed to solve the delta debugging problem efficiently and effectively. However, the efficiency and effectiveness of the state-of-the-art algorithms are still not satisfactory. For example, the state-of-the-art delta debugging tool, CHISEL, may take up to 3 hours to reduce a single program with 14,092 lines of code, while the reduced program may be up to 2 times unnecessarily large.

链接与引用

DOI 原文 ·

BibTeX 
@inproceedings{paperbot6286,
  title = {Probabilistic Delta debugging},
  author = {Guancheng Wang and Ruobing Shen and Junjie Chen and Yingfei Xiong and Lu Zhang},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468625}
}