Automated Test Generation and Mutation Testing for Alloy.

Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Browse the full ICST paper archive.