AUnit: A Test Automation Tool for Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid

Browse the full ICST paper archive.