Mutational Fuzz Testing for Constraint Modeling Systems

Vanroose, Wout;Bleukx, Ignace;Devriendt, Jo;Tsouros, Dimos;Guns, Tias;et.al.
(2024) The 30th International Conference on Principles and Practice of Constraint Programming (CP2024) — Location: Girona, Spain

Files

CP2024-vanroose.pdf
  • Open Access
  • Adobe PDF
  • 769.06 KB

Details

Authors
  • Vanroose, WoutKU Leuven
    Author
  • Bleukx, IgnaceKU Leuven
    Author
  • Devriendt, JoKU Leuven
    Author
  • Tsouros, DimosKU Leuven
    Author
  • Author
  • Guns, TiasKU Leuven
    Author
Show more
Affiliations
  • KU Leuven

Citations

Vanroose, W., Bleukx, I., Devriendt, J., Tsouros, D., Verhaeghe, H., & Guns, T. (2024). Mutational Fuzz Testing for Constraint Modeling Systems. 30th International Conference on Principles and Practice of Constraint Programming, CP2024, 307(1), 29:1-29:25. https://doi.org/10.4230/LIPIcs.CP.2024.29 (Original work published 2024)