paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CoReX: Context-Aware Refinement-Based Slicing for Debugging Regression Failures

CoReX：用于调试回归失败的上下文感知基于精化的切片
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10 · 该论文属于传统的程序切片与调试程序分析，虽与程序分析/抽象解释背景相关，但不涉及用户核心关注的 PL 与 AI/LLM/Agent 交叉，也未聚焦浮点程序分析或贝叶斯程序分析。引用 0 inbox
Sahar Badihi, Julia Rubin
测试、调试与修复程序分析与抽象解释
crossref: 2026-09-12

AI 速览

一句话：提出 CoReX，一种上下文感知的基于精化的切片方法，用于定位回归失败相关的代码语句。

回归失败排查是软件开发中常见且耗时的任务。已有方法通过程序切片把开发者注意力缩小到与失败相关的语句子集，并保持这些语句间的信息流。本文提出 CoReX，一种上下文感知的基于精化的切片方法，用于调试回归失败。其核心是在切片过程中引入上下文信息并进行精化，以得到更相关、更精确的切片。摘要未报告具体实现细节、实验设置与量化结果，因此其实际效果仍有待评估。

问题
回归失败排查频繁且耗时，现有切片方法虽能缩小相关语句范围，但仍需更有效地结合上下文以辅助调试。
方法
提出 CoReX，将上下文信息与精化过程结合进行程序切片，识别与回归失败相关的语句并保持信息流。
评估
摘要未给出评估细节；无法从摘要概括具体实验设置、基准或结果。
原文摘要（Abstract）

Troubleshooting regression failures is one of the most frequent yet time-consuming development tasks. To help with this task, numerous approaches aim to narrow down developers’ attention to the subset of code statements relevant to the failure. The most prominent of these approaches are based on program slicing, as slicing not only identifies a subset of relevant statements but also maintains the flow of information between these statements.

链接与引用

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

BibTeX 
@inproceedings{paperbot11924,
  title = {CoReX: Context-Aware Refinement-Based Slicing for Debugging Regression Failures},
  author = {Sahar Badihi and Julia Rubin},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3764577}
}