Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
From MaRDI portal
Dataset:6700878
DOI10.5281/zenodo.7515748Zenodo7515748MaRDI QIDQ6700878FDOQ6700878
Dataset published at Zenodo repository.
Herdt Vladimir, Sören Tempel, Rolf Drechsler
Publication date: 9 January 2023
Copyright license: Creative Commons Attribution 4.0 International
Artifacts for the evaluation of the publication Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT which will be published in the IEEE Internet of Things journal. More information is available in the provided README.md file.
This page was built for dataset: Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
