CUTECat: Concolic Execution for Computational Law.

Pierre Goutagny, Aymeric Fromherz, Raphal Monat

Browse the full ESOP paper archive.