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