sle2016/paper15

SLE 2016 paper:
Symbolic Execution of High-Level Transformations

Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski

• DOI: 10.1145/2997364.2997382
• T5D: Formal Methods
  • It applies symbolic execution as a formal technique to verify properties of transformations.
• T3B: Transformation Languages
  • The subject of analysis is high-level transformation programs used in DSL engineering.
• T4C: Vertical Transformation
  • Transformations are used to provide semantics (typing/evaluation), often as refinement steps toward executable artifacts.

---

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