sle2012s/paper03

SLE 2012 SI paper:
A survey of grammatical inference in software engineering

Andrew W. Stevenson, James R. Cordy

• DOI: 10.1016/j.scico.2014.05.008
• Extended version of Grammatical Inference in Software Engineering: An Overview of the State of the Art (SLE 2012)
• T5B: Language Description Analysis
  • The paper surveys methods for inferring grammars from software artefacts, i.e., techniques for recovering and analysing language descriptions.
• T2A: Lifecycle
  • Grammatical inference is repeatedly discussed as a means for recovering undocumented or partially documented languages and formats from existing systems.
• T5D: Formal Methods
  • The survey is grounded in formal language/automata theory and learning-theoretic results that underpin inference approaches.
• T3C: DSLs
  • A substantial part of the surveyed application space concerns DSLs and other software languages whose grammars are inferred for engineering purposes.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.