2

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