Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid. SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 1209-1220, ACM, 2022. [doi]
Abstract is missing.