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 |
195
128
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 195 | 195 |
| Downloads | 128 | 128 |
| Data volume | 685.5 GB | 685.5 GB |
| Unique views | 162 | 162 |
| Unique downloads | 91 | 91 |
Indexed in
- Publication date:
- April 4, 2022
- DOI:
-
- Meeting:
- 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022 (ICST 2022), 4-13 April 2022
- License (for files):
- Creative Commons Attribution 4.0 International