Matthew Coyle, Samir Loudni, Théo Le Calvar, Massimo Tisi. Modeling OCL Collection Types and Type Casting Using Constraint Programming. In 37th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2025, Athens, Greece, November 3-5, 2025. pages 1428-1435, IEEE, 2025. [doi]
Abstract is missing.