Project Overview

AlloyFLCore is a tool that helps localize faults in Alloy models given tests.

Contributors

Kaiyuan Wang, Allison Sullivan, Darko Marinov, and Sarfraz Khurshid

Relevant Links

AlloyFLCore Tool

Fault Localization for Declarative Models in Alloy Paper