Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules. - Zahra VaraminyBahnemiry; Jessie Galasso; Khalid Belharbi; Houari A. Sahraoui (MoDELS, 2021)