Published February 3, 2020
| Version v1
Software
Open
Artifact for "Verifying Object Construction"
- 1. University of Washington
- 2. University of California, Riverside
- 3. Amazon Web Services
Description
This is the replication package for the ICSE 2020 technical paper "Verifying Object Construction". See the file ~/icse2020-verifying-object-construction-aec/README.md file on this VM for instructions. Login to the VM using the username 'icse2020' and password 'icse2020'. The virtual machine was created using Oracle VirtualBox Version 5.2.34 r133893.
Files
Files
(8.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:a4dcbecd4d4379147fe2c19f899a9899
|
8.5 GB | Download |