Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT

Name: Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
Creator: Zenodo
Published: 2023-01-09T13:09:53+08:00

Zenodo2024-07-15 更新2026-05-26 收录

数据链接：

https://zenodo.org/record/7515748 数据链接链接失效反馈

官方服务：

资源简介：

Artifacts for the evaluation of the publication <em>Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT </em>which will be published in the IEEE Internet of Things journal. More information is available in the provided README.md file.

提供机构：

Zenodo

创建时间：

2023-01-09