ATLTest: A White-Box Test Generation Approach for ATL Transformations.

Carlos A. Gonzlez, Jordi Cabot

Browse the full MODELS paper archive.