A screenshot of the provided tool built on top of the GEMOC studio
This project is the implementation of our paper titled “Automatic Test Amplification for Executable Models”, published by MODELS 2022. For more detail, please refer to the paper and to the related github project.
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.