CfPBoK
by
Vadim Zaytsev
sle2020/spaper3
SLE 2020
short paper:
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-automata
Christoff Rossouw
,
Bernd Fischer
DOI:
10.1145/3426425.3426938
Original shorter version of
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs
(SLE 2024 SI)
T1A: Design
The paper primarily contributes techniques for language definition (often syntax-related) as part of language design.
T4C: Vertical Transformation
It uses compilation/generation/refinement to derive executable artefacts (vertical transformations).
T4D: Interpretation
It concerns runtime interpretation/execution (interpreters, debuggers, runtime services).
T6B: Industrial
It is motivated by or evaluated in an industrial/practical context.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.