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

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.