REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track).

Ana Jovanovic, Allison Sullivan

Browse the full ISSRE paper archive.