Testing of Models
From Coverage Computation to Fault Localization for Executable DSLs
A generic framework for coverage computation and fault localization of domain-specific executable models which is applicable to a wide range of xDSLs.
TAMO- Automatic Test Amplification for Executable Models
An automated and generic approach for amplifying the test cases of behavioral models.
XTDL- A Testing Framework for Executable DSLs
Providing testing support for Executable Domain-Specific Languages (xDSLs) by adapting Test Description Language (TDL)