Software Open Access

Artifact for "Verifying Object Construction"

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

This is the replication package for the ICSE 2020 technical paper "Verifying Object Construction". See the file ~/icse2020-verifying-object-construction-aec/README.md file on this VM for instructions. Login to the VM using the username 'icse2020' and password 'icse2020'. The virtual machine was created using Oracle VirtualBox Version 5.2.34 r133893.

Files (8.5 GB)
Name Size
ICSE2020-verifying-object-construction.ova
md5:a4dcbecd4d4379147fe2c19f899a9899 		8.5 GB Download
422
20
views
downloads
All versions This version
Views 422422
Downloads 2020
Data volume 170.5 GB170.5 GB
Unique views 266266
Unique downloads 1717
More info on how stats are collected.
Indexed in
Publication date:
February 3, 2020
DOI:
10.5281/zenodo.3634993

Zenodo DOI Badge

DOI 

10.5281/zenodo.3634993

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3634993.svg)](https://doi.org/10.5281/zenodo.3634993)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3634993.svg
   :target: https://doi.org/10.5281/zenodo.3634993

HTML 

<a href="https://doi.org/10.5281/zenodo.3634993"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3634993.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3634993.svg

Target URL 

https://doi.org/10.5281/zenodo.3634993

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3634993 Feb 3, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3634992. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export