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

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
md5:ab6cbfc53727450cf6dbfd28c9ecd946
7.8 GB Download
md5:9b72375e76d1f9eb1f13331559746a14
21.2 kB Download