Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

DOI10.5281/zenodo.6802198Zenodo6802198MaRDI QIDQ6700876FDOQ6700876

Dataset published at Zenodo repository.

Sören Tempel, Vladimir Herdt, Rolf Drechsler

Publication date: 6 July 2022

Copyright license: Creative Commons Attribution 4.0 International

Description

Artifacts for the evaluation of the publication SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification, which will be published as part of the 2022 International Symposium on Automated Technology for Verification and Analysis (ATVA). Usage of the provided artifacts requires installing the SISL tooling first. In this regard, please refer to either the SISL user manual or the documentation in the sisl and sisl-vp GitHub repositories. Both sisl and sisl-vp need to be installed to system-wide locations in order to be able to use the scripts provided as part of these artifacts. More information on using the artifacts is available in the README.md file.

This page was built for dataset: Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification