Ana Jovanovic, Mohammad Nurullah Patwary, Allison Sullivan. Refining Alloy-Based Mutation Operators to Reflect Common Mistakes. In 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025. pages 1-11, IEEE, 2025. [doi]
Abstract is missing.