TAMO- Automatic Test Amplification for Executable Models

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