Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid. Fault Localization for Declarative Models in Alloy. In Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng 0001, editors, 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. pages 391-402, IEEE, 2020. [doi]
Abstract is missing.