@inproceedings{98e59ce9259f4680b4ed66dc9123b85b,
title = "Fault localization for declarative models in alloy",
abstract = "Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem of fault localization for declarative models in Alloy - a first order relational logic with transitive closure. We introduce AlloyFLhy, the first fault localization technique for faulty Alloy models which leverages multiple test formulas. AlloyFLhy brings the traditional spectrum-based and mutation-based fault localization techniques to Alloy and combines both techniques to locate faults. To measure the effectiveness of AlloyFLhy, we define three distance metrics and use both distance-based and top-k metrics to measure the effectiveness of AlloyFLhy on 90 real faulty models. The results show that AlloyFLhy is substantially more effective than Alloy's built-in unsat core.",
keywords = "Alloy, AlloyFLHy, Fault localization",
author = "Kaiyuan Wang and Allison Sullivan and Darko Marinov and Sarfraz Khurshid",
note = "This work was partially supported by NSF grant nos. CNS-1646305, CCF-1718903, CCF-1918189 and CCF-1956374.; 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020 ; Conference date: 12-10-2020 Through 15-10-2020",
year = "2020",
month = oct,
doi = "10.1109/ISSRE5003.2020.00044",
language = "English (US)",
series = "Proceedings - International Symposium on Software Reliability Engineering, ISSRE",
publisher = "IEEE Computer Society",
pages = "391--402",
editor = "Marco Vieira and Henrique Madeira and Nuno Antunes and Zheng Zheng",
booktitle = "Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering, ISSRE 2020",
}