Fault Localization for Declarative Models in Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Browse the full ISSRE paper archive.