I was a visiting researcher in the Miso research group of Universidad Autónoma de Madrid (Madrid, Spain), working on automatic test amplification for executable models. My collaborative research was supervised by Prof. Juan de Lara and Prof. Esther Guerra. This is a secondment plan defined by the Lowcomote to establish collaborations between people involved in the project.
Fortunately, the result of this collaboration is published in the proceedings of ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS). You can access the preprint of the paper from here.