Planned intervention: On Thursday 19/09 between 05:30-06:30 (UTC), Zenodo will be unavailable because of a scheduled upgrade in our storage cluster.
Published January 16, 2024 | Version v3
Dataset Open

Concrete Constraint Guided Symbolic Execution

Creators

  • 1. ROR icon Chinese Academy of Sciences

Description

Decompress the "reproduction.zip" and refer to README.md to reproduce our work.

Files

README .md

Files (971.8 MB)

Name Size Download all
md5:83803bbaa5ad43941e033d7d84277bf6
8.7 kB Preview Download
md5:4b3025528c521619bf1a40ee0278ad51
971.8 MB Preview Download

Additional details

Dates

Accepted
2024-10-10