Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT (Q6700878)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT |
Dataset published at Zenodo repository. |
Statements
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.
0 references
9 January 2023
0 references
