A Deductive Approach for Fault Localization in ATL Model Transformations.

Zheng Cheng, Massimo Tisi

Browse the full FASE paper archive.