Dataset Open Access

Evaluation Data of the Combined Approach

Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Holger Klein; Marko Kleine Büning; Joachim Müssig


JSON-LD (schema.org) Export

{
  "description": "<p>This dataset contains the programs on which the <a href=\"http://doi.org/10.1007/978-3-030-02450-5_17\">Combined Approach</a> was evaluated.</p>\n\n<p>The Java source code of each evaluated program is in the &quot;src&quot; folder.<br>\nThe compiled jar file of each evaluated program is in the &quot;testdata&quot; folder.</p>\n\n<p>The .joak file contains the annotated sources and sinks for each evaluated program.<br>\nNote that you may not be able to load the .joak files directly into the Combined&nbsp;<br>\nApproach program as the various paths in the .joak files need to be fixed first.<br>\nThe purpose of the .joak files in this repository is to document the sources and sinks.<br>\nYou can also generate new .joak files with the Combined Approach application.</p>", 
  "license": "http://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "@type": "Person", 
      "name": "Bernhard Beckert"
    }, 
    {
      "@type": "Person", 
      "name": "Simon Bischof"
    }, 
    {
      "@id": "https://orcid.org/0000-0002-0142-1718", 
      "@type": "Person", 
      "name": "Mihai Herda"
    }, 
    {
      "@type": "Person", 
      "name": "Michael Kirsten"
    }, 
    {
      "@type": "Person", 
      "name": "Holger Klein"
    }, 
    {
      "@type": "Person", 
      "name": "Marko Kleine B\u00fcning"
    }, 
    {
      "@type": "Person", 
      "name": "Joachim M\u00fcssig"
    }
  ], 
  "url": "https://zenodo.org/record/3359387", 
  "datePublished": "2019-08-03", 
  "version": "1", 
  "keywords": [
    "Noninterference", 
    "Software Verification", 
    "Formal Methods", 
    "Program Slicing", 
    "Static Analysis", 
    "Deductive Verification"
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/d9c457ff-55e3-4d48-81fa-6d4639f93d59/data.zip", 
      "@type": "DataDownload", 
      "fileFormat": "zip"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/d9c457ff-55e3-4d48-81fa-6d4639f93d59/readme.txt", 
      "@type": "DataDownload", 
      "fileFormat": "txt"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.3359387", 
  "@id": "https://doi.org/10.5281/zenodo.3359387", 
  "@type": "Dataset", 
  "name": "Evaluation Data of the Combined Approach"
}
32
3
views
downloads
All versions This version
Views 3232
Downloads 33
Data volume 148.0 kB148.0 kB
Unique views 3232
Unique downloads 22

Share

Cite as