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.
PDF Code
From Coverage Computation to Fault Localization for Executable DSLs
TAMO- Automatic Test Amplification for Executable Models
An automated and generic approach for amplifying the test cases of behavioral models.
PDF Code
TAMO- Automatic Test Amplification for Executable Models
XTDL- A Testing Framework for Executable DSLs
Providing testing support for Executable Domain-Specific Languages (xDSLs) by adapting Test Description Language (TDL)
PDF Code
XTDL- A Testing Framework for Executable DSLs