Fault localization for declarative models in alloy

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Fault localization for declarative models in alloy'. Together they form a unique fingerprint.