CfPBoK
by
Vadim Zaytsev
sle2021/vision2
SLE 2021
vision paper:
Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages
Pablo C. Cañizares
,
Pablo Gómez-Abajo
,
Alberto Núñez
,
Esther Guerra
,
Juan de Lara
NB:
this is a “new idea” paper which in this edition of SLE was partly separate from pure vision papers
DOI:
10.1145/3486608.3486904
T3C: DSLs
The paper mainly targets domain-specific languages or modeling languages, including their design or use.
T4A: Workbenches
It includes substantial tool support or infrastructure relevant for engineering/using languages.
T5D: Formal Methods
It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
T5H: Usability
It targets usability (developer interaction, comprehension, editing experience).
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.