Verifying Object Construction replication package

Published: 31 Jan 2020 | Version 1 | DOI: 10.17632/3ycxw469p8.1

Description of this data

This is the replication package for the ICSE 2020 technical paper "Verifying Object Construction". See the file for instructions, including a link to a VM that can run all of this code.

Experiment data files

Latest version

  • Version 1


    Published: 2020-01-31

    DOI: 10.17632/3ycxw469p8.1

    Cite this dataset

    Kellogg, Martin; Sridharan, Manu; Ran, Manli; Schäf, Martin; Ernst, Michael D. (2020), “Verifying Object Construction replication package”, Mendeley Data, v1


Views: 206
Downloads: 0


Software Engineering


CC BY 4.0 Learn more

The files associated with this dataset are licensed under a Creative Commons Attribution 4.0 International licence.

What does this mean?
You can share, copy and modify this dataset so long as you give appropriate credit, provide a link to the CC BY license, and indicate if changes were made, but you may not do so in a way that suggests the rights holder has endorsed you or your use of the dataset. Note that further permission may be required for any content within the dataset that is identified as belonging to a third party.