Verifying Object Construction replication package

Name: Verifying Object Construction replication package
Creator: Martin Kellogg
Published: 2020-01-31T21:08:03.688Z
Keywords: Software Engineering

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

doi:10.17632/3ycxw469p8.1

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

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.

Verifying Object Construction replication package

Description

Files

Categories

Licence