Verifying Object Construction replication package
Published: 31 January 2020| Version 1 | DOI: 10.17632/3ycxw469p8.1
Contributors:Martin Kellogg, Manu Sridharan, Manli Ran, Martin Schäf, Michael D. Ernst
This is the replication package for the ICSE 2020 technical paper "Verifying Object Construction". See the README.md file for instructions, including a link to a VM that can run all of this code.