Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid. Automated Test Generation and Mutation Testing for Alloy. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. pages 264-275, IEEE Computer Society, 2017. [doi]
Abstract is missing.