Published June 17, 2024
| Version v1
Software
Open
Replication material for the ARES 2024 paper: Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution
-
1.
Uppsala University
Description
We provided the implementation of our technique on a virtual machine (artifact-os). The virtual machine can be run using Oracle VirtualBox and the credentials for it are as follows:
Username: artifact-admin
password: Aartifact
Files
Files
(7.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:ab6cbfc53727450cf6dbfd28c9ecd946
|
7.8 GB | Download |
|
md5:9b72375e76d1f9eb1f13331559746a14
|
21.2 kB | Download |