From Coverage Computation to Fault Localization for Executable DSLs

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

This project is the implementation of my paper titled “From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages”, published by SLE 2022. For more detail, please refer to the paper and to the related github project.

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.