Automated Test Generation and Mutation Testing for Alloy | IEEE Conference Publication | IEEE Xplore