AnATLyzer
Jesús Sánchez Cuadrado, Esther Guerra, Juan D. Lara · 2018
Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a MT may affect many projects using it. Still, there is a lack of analysis tools applicable to non-toy transformations developed with practical MT languages.