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
180
17
views
downloads
All versions This version
Views 180180
Downloads 1717
Data volume 144.9 GB144.9 GB
Unique views 134134
Unique downloads 1414

Share

Cite as