Zahra VaraminyBahnemiry

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Online Communities

Alternating Time Temporal Logic

Multi Agent Systems

Transformation Rules

Top Venues

J. Object Technol.

Publications

Zahra VaraminyBahnemiry, Jessie Galasso, Houari A. Sahraoui
Social Diversity for ATL Repair. CoRR (2022)
Zahra VaraminyBahnemiry, Jessie Galasso, Khalid Belharbi, Houari A. Sahraoui
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules. MoDELS (2021)
Zahra VaraminyBahnemiry, Jessie Galasso, Houari A. Sahraoui
Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases. J. Object Technol. 20 (3) (2021)
Zahra VaraminyBahnemiry, Jessie Galasso, Houari A. Sahraoui
Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases. CoRR (2020)