Software Open Access

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

Beyer, Dirk

DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.3678250">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Software"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.3678250</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.3678250"/>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0003-4832-7662">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0003-4832-7662</dct:identifier>
        <foaf:name>Beyer, Dirk</foaf:name>
        <foaf:givenName>Dirk</foaf:givenName>
        <foaf:familyName>Beyer</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>LMU Munich, Germany</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020)</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2020</dct:issued>
    <dcat:keyword>Software testing</dcat:keyword>
    <dcat:keyword>Test generation</dcat:keyword>
    <dcat:keyword>Benchmark</dcat:keyword>
    <dcat:keyword>C language</dcat:keyword>
    <dcat:keyword>SV-Benchmarks</dcat:keyword>
    <dcat:keyword>Test tasks</dcat:keyword>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2020-02-21</dct:issued>
    <dct:language rdf:resource="http://publications.europa.eu/resource/authority/language/ENG"/>
    <owl:sameAs rdf:resource="https://zenodo.org/record/3678250"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/3678250</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:relation rdf:resource="https://doi.org/10.1007/978-3-030-45234-6_25"/>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.3678249"/>
    <dct:isPartOf rdf:resource="https://zenodo.org/communities/sosy-lab"/>
    <owl:versionInfo>testcomp20</owl:versionInfo>
    <dct:description>&lt;p&gt;Full benchmark set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020).&lt;/p&gt; &lt;p&gt;Licenses are included with the source code.&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.3678250"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.3678250"/>
        <dcat:byteSize>4855922893</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/3678250/files/testcomp20-sv-benchmarks.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
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