Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
From MaRDI portal
(Redirected from Dataset:6700878)
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
