Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases

Zahra VaraminyBahnemiry, Jessie Galasso, Houari Sahraoui

This paper addresses the issue of correcting type errors in model transformations in realistic scenarios where neither predefined patches nor behavior-safe guards such as test suit…