ATLTest: A White-Box Test Generation Approach for ATL Transformations | Publicación