Mutational Fuzz Testing for Constraint Modeling Systems. - Wout Vanroose; Ignace Bleukx; Jo Devriendt; Dimos Tsouros; Hélène Verhaeghe; Tias Guns (CP, 2024)