MuAlloy: a mutation testing framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Browse the full ICSE paper archive.