ARepair: a repair framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Browse the full ICSE paper archive.