Allison Sullivan: Integrating Testing into the Alloy Model Development Workflow. MODELS 2023: 117-128