Published April 4, 2022 | Version v1
Software Open

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.


Files (7.8 GB)

Name Size Download all
7.8 GB Preview Download
41.7 kB Download