Software Open Access

SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020)

Beyer, Dirk

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>Full benchmark set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020).</p>\n\n<p>Licenses are included with the source code.</p>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "LMU Munich, Germany", 
      "@id": "https://orcid.org/0000-0003-4832-7662", 
      "@type": "Person", 
      "name": "Beyer, Dirk"
    }
  ], 
  "url": "https://zenodo.org/record/3678250", 
  "datePublished": "2020-02-21", 
  "version": "testcomp20", 
  "keywords": [
    "Software testing", 
    "Test generation", 
    "Benchmark", 
    "C language", 
    "SV-Benchmarks", 
    "Test tasks"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3678250", 
  "@id": "https://doi.org/10.5281/zenodo.3678250", 
  "@type": "SoftwareSourceCode", 
  "name": "SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020)"
}
590
12
views
downloads
All versions This version
Views 590590
Downloads 1212
Data volume 58.3 GB58.3 GB
Unique views 580580
Unique downloads 88
More info on how stats are collected.
Indexed in
Publication date:
February 21, 2020
DOI:
10.5281/zenodo.3678250

Zenodo DOI Badge

DOI 

10.5281/zenodo.3678250

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
Software testing Test generation Benchmark C language SV-Benchmarks Test tasks
Related identifiers:
Supplement to
Communities:
License (for files):
Other (Open)

Versions

Version testcomp20 10.5281/zenodo.3678250 Feb 21, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3678249. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export