Replication material for the ICST 2022 paper: Applying symbolic execution to test implementations of a network protocol against its specification

We provided the implementation of our proposed approach using a virtual machine (Artifacts-VM). The virtual machine can be run using Oracle VirtualBox, and the credentials for it is as the following:

Username: user
Password: user

You can find the step-by-step guide to executing each experiment in Readme.html. This file also exists on the desktop of the virtual machine.