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.