Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
5
datasets available to search
ShareScore release 0.9.0
Dataset results
5 results for “symbolic execution”
Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
<p>Artifacts for the evaluation of the publication <em>Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT </em>which will be published in the IEEE Internet of Things journal. More information is available in the provided README.md file.</p>
Benchmarks for Comparing Binary-Level Symbolic Execution Speed
<p>This dataset contains a reproducible computing environment as well as a set of synthetic benchmark applications for comparing symbolic execution speed at the binary level of several symbolic execution engines supporting the 32-bit RISC-V architecture. Specifically, the dataset compares and supports the following engines:</p> <ul> <li><a href="https://github.com/binsec/binsec">BinSec</a></li> <li><a href="https://github.com/angr/angr">angr</a></li> <li><a href="https://github.com/agra-uni-bremen/symex-vp">SymEx-VP</a></li> <li><a href="https://github.com/agra-uni-bremen/binsym">BinSym</a></li> </ul> <p>The benchmarks are designed to be easily extendable through the utilization of <a href="https://guix.gnu.org">Guix</a> (a functional package manager for <a href="https://doi.org/10.1038/s41597-022-01720-9">long-term reproducible research</a>). Currently, the supported engines perform IR-based symbolic execution using binary lifting (BinSec & angr) and direct symbolic execution of RISC-V machine code (SymEx-VP & BinSym). The dataset compares these approaches by fully exploring synthetic benchmark applications (e.g. sorting algorithms) with unconstrained symbolic input values and calculating an arithmetic mean over multiple executions, which is then represented as a table and a plot.</p> <p>More information on using the dataset is available in the supplementary README file.</p>
On the Correspondence between Information Flow, Noninterference, and Symbolic Execution - Benchmark Set
<p>The benchmark set the paper ``On the Correspondence between Information Flow, Noninterference, and Symbolic Execution'' evaluates.</p>
On the Correspondence between Information Flow, Noninterference, and Symbolic Execution - Benchmark Set
<p>The benchmark set the paper ``On the Correspondence between Information Flow, Noninterference, and Symbolic Execution'' evaluates.</p>
Concrete Constraint Guided Symbolic Execution
<p>Decompress the "reproduction.zip" and refer to README.md to reproduce our work.</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.