Software Open Access

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo Frias

This contains the replication package of our submission to ICSE 2021

Files (754.8 MB)
Name Size
evospex-all.tar.gz
md5:3960277df8fb8ebe87f21fb675d0ace5 		754.8 MB Download
118
19
views
downloads
All versions This version
Views 118118
Downloads 1919
Data volume 14.3 GB14.3 GB
Unique views 9999
Unique downloads 1818
More info on how stats are collected.
Indexed in
Publication date:
January 22, 2021
DOI:
10.5281/zenodo.4458256

Zenodo DOI Badge

DOI 

10.5281/zenodo.4458256

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
MIT License

Versions

Version 1 10.5281/zenodo.4458256 Jan 22, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4458255. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export