Verifying Object Construction replication package

Published: 31-01-2020| Version 1 | DOI: 10.17632/3ycxw469p8.1
Contributors:
Martin Kellogg,
Manu Sridharan,
Manli Ran,
Martin Schäf,
Michael D. Ernst

Description

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.

Files