Towards an automation of the mutation analysis dedicated to model transformation
Loosely Coupled Traceability for ATL