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.