Mutational Fuzz Testing for Constraint Modeling Systems

Published in In the proceedings of 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024

Recommended citation: Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, Tias Guns, "Mutational Fuzz Testing for Constraint Modeling Systems." In the proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024. https://drops.dagstuhl.de/storage/00lipics/lipics-vol307-cp2024/LIPIcs.CP.2024.29/LIPIcs.CP.2024.29.pdf