Published January 6, 2025
| Version v1
Software
Open
CUTECat: Concolic Execution for Computational Law (Artifact)
Authors/Creators
-
1.
Centre de recherche Inria Lille - Nord Europe
- 2. Inria
Description
This is the artifact supporting the experimental evidence presented in our (upcoming) ESOP'25 paper "CUTECat: Concolic Execution for Computational Law".
Files
LICENSE.md
Files
(1.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:0f8034e986fb0d53b60ec0f53ad25bdc
|
1.5 GB | Download |
|
md5:b65702d9d53477a74ce683ac935fdedf
|
374 Bytes | Preview Download |
|
md5:3b83ef96387f14655fc854ddc3c6bd57
|
11.4 kB | Download |
|
md5:5f83ae58463479b6f8160ab68ff00ba1
|
21.8 kB | Download |
|
md5:d941b4b9245b61f5b703f100e331a938
|
15.2 kB | Preview Download |
|
md5:251104e6cf40cea674cffb74328b37e5
|
1.3 kB | Download |
|
md5:6da09d741c271ba868bdd10e9d3cc265
|
646 Bytes | Download |