Documents White-box texting of (ATL) model transformations

1.ATLTestA White-Box test generation approach for ATL transformations Carlos A. González and Jordi Cabot© AtlanMod - [email protected]. Index1. Some backgroung…