MuAlloy. - Wang, Kaiyuan; Sullivan, Allison; Khurshid, Sarfraz (ICSE: International Conference on Software Engineering, 2018)