Selim, Cordy, Dingel, 2012. Model transformation testing, in: . ACM Press.. https://doi.org/10.1145/2432497.2432502