Published May 6, 2022
| Version v1
Software
Open
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
Description
This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers" accepted to CAV'22. Please refer to the Readme.md for further instructions.
Files
cav2022-murxla-artifact.zip
Files
(1.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:8cb76c9e352ac703f742fe8e6f8614f9
|
1.6 GB | Preview Download |
|
md5:7e9fc41de00a1eeac7743b45e21d03c3
|
33.8 kB | Preview Download |