2

A language-parametric test coverage framework for executable domain-specific languages
Test coverage is an effective technique to measure test case quality and to enable fault localization. However, for Executable …
PDF DOI
Advanced Testing and Debugging Support for Reactive Executable DSLs
Executable Domain-Specific Languages (xDSLs) allow the definition and the execution of behavioral models. Some behavioral models are …
PDF DOI
Adapting TDL to Provide Testing Support for Executable DSLs
Testing is one of the most prevalent and successful verification and validation (V&V) techniques used in the field of software …
PDF Slides DOI Preprint