CfPBoK
by
Vadim Zaytsev
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.