XTDL- A Testing Framework for Executable DSLs

A screenshot of the provided tool built on top of the GEMOC studio

XTDL is a generic testing framework for Executable Domain-Specific Languages (xDSL). It supports several features for testing executable models (the programs defined using the xDSLs), including test case definition, execution, quality evaluation, debugging, fault localization, and improvement. The framework is the output of my Ph.D. thesis and for theoretical information, please refer to my publications.

Faezeh Khorram
Faezeh Khorram
Senior Research Engineer | PhD

My research interests include Model-Based Verification and Validation, Model-Driven Engineering (MDE), Domain-Specific Languages (DSL), Language Engineering, Debugging and Testing of models.