Crucible: Graphical Test Cases for Alloy Models.

Adam G. Emerson, Allison Sullivan

Browse the full ISSRE paper archive.