An Automated Approach for Writing Alloy Specifications Using Instances.

Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova

Browse the full ISoLA paper archive.