How Good are Input Grammar Miners? An Empirical Study
Leon Bettscheider, Andreas Zeller
2026Year
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?
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Related papers
- Mining input grammars from dynamic control flowRahul Gopinath, Björn Mathis, Andreas ZellerFSE 2020 · 60 citations
- "Synthesizing input grammars": a replication studyBachir Bendrissou, Rahul Gopinath, Andreas ZellerPLDI 2022 · 8 citations
- Input invariantsDominic Steinhöfel, Andreas ZellerFSE 2022 · 47 citations
- Input AlgebrasRahul Gopinath, Hamed Nemati, Andreas ZellerICSE 2021 · 4 citations
- Synthesizing SpecificationsKanghee Park, Loris D'Antoni, Thomas W. RepsOOPSLA 2023 · 9 citations
