AnATLyzer: an advanced IDE for ATL model transformations - Cuadrado, Jesús Sánchez; Guerra, Esther; de Lara, Juan (2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018)
Keywords: Analytical models; ATL; Computer bugs; Model Driven Engineering; Model transformation; Software; Software and its engineering -- Software creation and management -- Software development techniques; Software and its engineering -- Software creation and management -- Software verification and validation; Static analysis; Unified modeling language; Verification; Visualization; static analysis; ATL; model transformation; model-driven engineering; verification