"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