Software Open Access

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

Hooman Asadian; Paul Fiterau-Brostean; Bengt Jonsson; Konstantinos Sagonas

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
Artifacts.zip
md5:a9a92e652629ec2bfa58f2710121affb
7.8 GB Download
Readme.html
md5:b7591fe86d6dfb956693d1cdaa4e7987
41.7 kB Download
99
69
views
downloads
All versions This version
Views 9999
Downloads 6969
Data volume 412.8 GB412.8 GB
Unique views 7676
Unique downloads 5252

Share

Cite as