Verifying Object Construction replication package
Description of this data
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.
Experiment data files
Cite this dataset
Kellogg, Martin; Sridharan, Manu; Ran, Manli; Schäf, Martin; Ernst, Michael D. (2020), “Verifying Object Construction replication package”, Mendeley Data, v1 http://dx.doi.org/10.17632/3ycxw469p8.1
The files associated with this dataset are licensed under a Creative Commons Attribution 4.0 International licence.