6 citations · 6 across the 5 of their papers we have counts for
4 papers · 1 filter
Right or Wrong -- Understanding How Novice Users Write Software Models
Ana Jovanovic, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debu…
Crucible: Graphical Test Cases for Alloy Models
Adam G. Emerson, Allison Sullivan
Alloy is a declarative modeling language that is well suited for verifying system designs. Alloy models are automatically analyzed using the Analyzer, a toolset that helps the user…
REACH: Refining Alloy Scenarios by Scope
Ana Jovanovic, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties be-fore systems are built, to automated testing and deb…
Fault Localization for Declarative Models in Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov +1
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 o…