Published January 17, 2025
| Version v2
Software
Open
CUTECat: Concolic Execution for Computational Law (Artifact)
-
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".
Version 2 (2025-01-17) incorporates minor fixes, for which we thank the ETAPS 2025 artifact reviewers.
Files
LICENSE.md
Files
(1.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:2097e4db8f4054dc977d5625989d0d26
|
1.5 GB | Download |
|
md5:b65702d9d53477a74ce683ac935fdedf
|
374 Bytes | Preview Download |
|
md5:3b83ef96387f14655fc854ddc3c6bd57
|
11.4 kB | Download |
|
md5:5f83ae58463479b6f8160ab68ff00ba1
|
21.8 kB | Download |
|
md5:bce859bf2d946acc26b7b7cc401ba9c1
|
15.3 kB | Preview Download |
|
md5:894a7f79f8d89762313807d8d26356ec
|
1.4 kB | Download |
|
md5:6da09d741c271ba868bdd10e9d3cc265
|
646 Bytes | Download |