sle2018/tool6

SLE 2018 tool/demo paper:
An Industrial Case Study in Compiler Testing

Vadim Zaytsev

• DOI: 10.1145/3276604.3276619
• T5C: Testing
  • The paper is about testing compilers of software languages.
• T4A: Workbenches
  • The paper is a tool demonstration presenting language engineering tooling or infrastructure.
• T4C: Vertical Transformation
  • It uses compilation/generation/refinement to derive executable artefacts (vertical transformations).
• 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.