Allison Sullivan. Integrating Testing into the Alloy Model Development Workflow. In 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023. pages 117-128, IEEE, 2023. [doi]
Abstract is missing.