"Towards Effective Mutation Testing for ATL."

Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics