Published January 9, 2023
| Version v1
Dataset
Open
Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
Authors/Creators
- 1. University of Bremen
- 2. University of Bremen / DFKI
Description
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.
Files
artifacts.zip
Files
(186.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:aa7ddbbf17074e058c50d9789540d156
|
186.3 MB | Preview Download |
Additional details
Related works
- Requires
- Software: https://github.com/agra-uni-bremen/sps-vp (URL)
- Software: https://github.com/agra-uni-bremen/sps (URL)