Software Open Access

Artifact for "Verifying Object Construction"

Kellogg, Martin; Ran, Manli; Sridharan, Manu; Schäf, Martin; Ernst, Michael D.

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 (8.5 GB)
Name Size
ICSE2020-verifying-object-construction.ova
md5:a4dcbecd4d4379147fe2c19f899a9899
8.5 GB Download
47
9
views
downloads
All versions This version
Views 4747
Downloads 99
Data volume 76.7 GB76.7 GB
Unique views 3939
Unique downloads 88

Share

Cite as