Software Open Access

Implementation of the SemSlice Tool

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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3334553", 
  "title": "Implementation of the SemSlice Tool", 
  "issued": {
    "date-parts": [
      [
        2019, 
        7, 
        14
      ]
    ]
  }, 
  "abstract": "<p>This data set contains the source code and implementation of SemSlice, a tool for automatic and precise porgram slicing, which was presented&nbsp;in <a href=\"http://dx.doi.org/10.1007/978-3-319-66845-1_20\">http://dx.doi.org/10.1007/978-3-319-66845-1_20</a>&nbsp;</p>\n\n<p>Software<br>\n---------</p>\n\n<p>The folder &quot;src&quot; contains the source code of SemSlice which can also be found at:</p>\n\n<p><a href=\"https://github.com/mattulbrich/llreve/tree/slicing\">https://github.com/mattulbrich/llreve/tree/slicing</a></p>\n\n<p>The folder &quot;vm&quot; contains an Ubuntu-based Virtualbox&nbsp;virtual machine in which SemSlice is set up and ready<br>\nto run on the benchmark programs. Check the readme file in this folder for information on how to run the vm.</p>", 
  "author": [
    {
      "family": "Bernhard Beckert"
    }, 
    {
      "family": "Thorsten Bormer"
    }, 
    {
      "family": "Stephan Gocht"
    }, 
    {
      "family": "Mihai Herda"
    }, 
    {
      "family": "Daniel Lentzsch"
    }, 
    {
      "family": "Mattias Ulbrich"
    }
  ], 
  "version": "1", 
  "type": "article", 
  "id": "3334553"
}
56
2
views
downloads
All versions This version
Views 5657
Downloads 22
Data volume 5.5 GB5.5 GB
Unique views 4243
Unique downloads 22

Share

Cite as