sle2016/paper13

SLE 2016 paper:
Automated Testing Support for Reactive Domain-Specific Modelling Languages

Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe

• DOI: 10.1145/2997364.2997367
• T5C: Testing
  • The paper’s main contribution is automated testing support tailored to reactive DSMLs.
• T3C: DSLs
  • It targets domain-specific modeling languages and their execution behaviors.
• T4D: Interpretation
  • Testing reactive DSMLs requires executing models and observing runtime reactions/behaviors.

---

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