https://rmonat.fr/publication/25_esop/
CUTECat: Concolic Execution for Computational Law | Raphaël Monat
May 3, 2025 - Many legal computations, including the amount of tax owed by a citizen, whether they are eligible to social benefits, or the wages due to civil state servants,...
concolic executioncomputational lawmonat