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
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.