Software Open Access
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.