Dataset Open Access

Evaluation Data of SemSlice

Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich


JSON-LD (schema.org) Export

{
  "description": "<p>This data set contains the programs on which SemSlice was evaluated.&nbsp;</p>\n\n<p>SemSlice is&nbsp;a tool for automatic and precise porgram slicing and&nbsp;was presented&nbsp;in:</p>\n\n<p>http://dx.doi.org/10.1007/978-3-319-66845-1_20&nbsp;</p>\n\n<p>&nbsp;</p>\n\n<p>Data<br>\n-----</p>\n\n<p>The folder &quot;benchmarks&quot; contains the programs which were used to evaluate SemSlice.</p>\n\n<p>The file &quot;results.log&quot; contains the evaluation results of running SemSlice on the benchmark programs.<br>\nThe evaluation was done on a virtual machine that had two Intel Core I7-4600MQ cores and 2GB RAM.</p>", 
  "license": "http://labs.metacarta.com/license-explanation.html#license", 
  "creator": [
    {
      "affiliation": "Karlsruhe Institute of Technology", 
      "@type": "Person", 
      "name": "Bernhard Beckert"
    }, 
    {
      "@type": "Person", 
      "name": "Thorsten Bormer"
    }, 
    {
      "affiliation": "KTH Royal Institute of Technology", 
      "@type": "Person", 
      "name": "Stephan Gocht"
    }, 
    {
      "affiliation": "Karlsruhe Institute of Technology", 
      "@id": "https://orcid.org/0000-0002-0142-1718", 
      "@type": "Person", 
      "name": "Mihai Herda"
    }, 
    {
      "@type": "Person", 
      "name": "Daniel Lentzsch"
    }, 
    {
      "affiliation": "Karlsruhe Institute of Technology", 
      "@type": "Person", 
      "name": "Mattias Ulbrich"
    }
  ], 
  "hasPart": [
    {
      "@id": "https://github.com/mattulbrich/llreve/tree/slicing", 
      "@type": "CreativeWork"
    }
  ], 
  "datePublished": "2019-07-14", 
  "url": "https://zenodo.org/record/3334571", 
  "version": "1", 
  "keywords": [
    "Program Slicing", 
    "Relational Verification", 
    "Formal Methods"
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/af479888-bd3a-4e4b-999a-64e3d4741e3c/data.zip", 
      "@type": "DataDownload", 
      "fileFormat": "zip"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.3334571", 
  "@id": "https://doi.org/10.5281/zenodo.3334571", 
  "@type": "Dataset", 
  "name": "Evaluation Data of SemSlice"
}
51
4
views
downloads
All versions This version
Views 5152
Downloads 44
Data volume 46.9 kB46.9 kB
Unique views 4344
Unique downloads 33

Share

Cite as