paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Evolving Estimation Models for Causal Testing

面向因果测试的演化估计模型
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 1/10 · 该论文聚焦因果测试中的估计模型自动推断,使用遗传编程与线性回归,属于软件测试/程序合成方向,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等核心方向几乎没有交集。引用 0 inbox
Luca Devlin, Michael Foster
crossref: 2026-09-12

AI 速览

一句话:提出遗传编程与线性回归的混合方法,自动推断可读的非线性方程以评估因果测试用例。

对于无法用常规手段测试的复杂软件系统,因果推理提供了一种有前景的测试思路:它借助因果模型与历史执行数据,估计并验证变量之间的因果关系。然而现有方法要么要求用户手工指定变量之间的方程关系,要么为追求自动化而采用黑箱估计、牺牲可解释性。本文提出一种遗传编程与线性回归相结合的混合方法,能够自动推断出人类可读的非线性方程,用于评估因果测试用例。实验结果表明,与单独使用遗传编程或线性回归相比,该技术通常能得到更准确的因果估计和更可靠的测试结果。

问题
复杂软件系统难以用常规方法测试,而现有因果测试方法要么依赖用户手工指定变量间的方程关系,要么使用黑箱估计从而牺牲可解释性。
方法
提出遗传编程与线性回归的混合技术,自动推断出人类可读的非线性方程来估计因果关系并评估因果测试用例。
评估
通过实验将混合方法与单独使用的遗传编程和线性回归进行对比,结果表明该方法能产生更准确的因果估计与更可靠的测试结果。
原文摘要(Abstract)

Causal reasoning is a promising and increasingly popular approach for testing complex software systems that cannot be tested using conventional approaches. This involves using a causal model and previous execution data to estimate and validate causal relationships between variables. To produce accurate causal estimates and reliable test outcomes, current approaches rely on users to specify the equational relationships between variables or sacrifice explainability for automation by using black-box estimation. In this paper, we present a hybrid between genetic programming and linear regression to automatically infer human-readable non-linear equations that can be used to evaluate causal test cases. Our results show that our technique tends to produce more accurate causal estimates and more reliable test outcomes than either technique used in isolation.

链接与引用

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

BibTeX
@inproceedings{paperbot9181,
  title = {Evolving Estimation Models for Causal Testing},
  author = {Luca Devlin and Michael Foster},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3731613}
}