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 <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.