CUTECat: Concolic Execution for Computational Law. - Pierre Goutagny; Aymeric Fromherz; Raphaël Monat (ESOP (2), 2025)