paperbot · PL 论文追踪

全部论文 待读 收藏

P2 How Good are Input Grammar Miners? An Empirical Study

输入文法挖掘器有多好?一项实证研究
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文研究输入文法挖掘的实证评估,属于软件测试与程序分析相关方向,但与用户核心关注的“静态分析×LLM/Agent”“浮点程序分析”“贝叶斯程序分析”均无直接交集,也未涉及LLM/Agent或形式化验证。仅在问题驱动的实证/benchmark方法学上可能有间接参考价值。引用 0 inbox
Leon Bettscheider, Andreas Zeller
crossref: 2026-09-12

AI 速览

一句话:通过实证研究评估现有输入文法挖掘方法所挖掘文法的准确性,揭示其在测试输入生成中的实际效果。

为生成有效的测试输入,系统输入语言的规范不可或缺,通常表现为描述输入语法的上下文无关文法。近年来,输入文法挖掘领域兴起,研究者提出从输入、代码或两者结合中提取输入文法的多种方法。然而,这些方法究竟效果如何,尤其是所挖掘文法的准确性如何,仍缺乏系统认识。本文对此开展实证研究,旨在评估现有输入文法挖掘器所生成文法的准确性。摘要未报告具体实验设置与量化结果,但明确以准确性为核心评估问题,并覆盖从输入、代码或混合来源挖掘文法的不同思路。该研究为理解输入文法挖掘技术的实际能力与局限提供了实证基础。

问题
如何为系统获取准确的输入语言文法以生成有效测试输入;现有输入文法挖掘方法所挖掘文法的准确性尚不明确。
方法
本文开展实证研究,对从输入、代码或两者结合中提取输入文法的现有方法进行评估,重点考察其挖掘文法的准确性。
评估
以所挖掘文法的准确性为核心评估问题;摘要未给出具体数据集、度量指标或量化结果。
原文摘要(Abstract)

To generate valid test inputs for a system, one needs a specification of its input language—typically a context-free grammar that describes input syntax. But where can one get such a grammar from? In the past years, the field of input grammar mining has emerged, with creative approaches to extract input grammars from inputs, code, or both. But how good are these approaches? In particular; How accurate are the grammars they mine?

链接与引用

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

BibTeX
@inproceedings{paperbot11888,
  title = {How Good are Input Grammar Miners? An Empirical Study},
  author = {Leon Bettscheider and Andreas Zeller},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773156}
}