Article-Journal

A language-parametric test coverage framework for executable domain-specific languages
Cite DOI Preprint
A generic framework for representing and analyzing model concurrency
Cite DOI Preprint
Protocol-Based Interactive Debugging for Domain-Specific Languages.
Cite DOI Preprint
Advanced Testing and Debugging Support for Reactive Executable DSLs
Preprint Cite
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 …
Preprint Cite DOI
Behavioral interfaces for executable DSLs
Preprint Cite DOI
Runtime Monitoring for Executable DSLs
Preprint Cite DOI
Lossless compaction of model execution traces
Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the …
Preprint DOI
Model execution tracing: a systematic mapping study
Preprint DOI
Concern-Oriented Language Development (COLD)
Preprint PDF DOI