Dataset Open Access

Evaluation Data of SemSlice

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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Bernhard Beckert</dc:creator>
  <dc:creator>Thorsten Bormer</dc:creator>
  <dc:creator>Stephan Gocht</dc:creator>
  <dc:creator>Mihai Herda</dc:creator>
  <dc:creator>Daniel Lentzsch</dc:creator>
  <dc:creator>Mattias Ulbrich</dc:creator>
  <dc:date>2019-07-14</dc:date>
  <dc:description>This data set contains the programs on which SemSlice was evaluated. 

SemSlice is a tool for automatic and precise porgram slicing and was presented in:

http://dx.doi.org/10.1007/978-3-319-66845-1_20 

 

Data
-----

The folder "benchmarks" contains the programs which were used to evaluate SemSlice.

The file "results.log" contains the evaluation results of running SemSlice on the benchmark programs.
The evaluation was done on a virtual machine that had two Intel Core I7-4600MQ cores and 2GB RAM.</dc:description>
  <dc:identifier>https://zenodo.org/record/3334571</dc:identifier>
  <dc:identifier>10.5281/zenodo.3334571</dc:identifier>
  <dc:identifier>oai:zenodo.org:3334571</dc:identifier>
  <dc:relation>url:https://github.com/mattulbrich/llreve/tree/slicing</dc:relation>
  <dc:relation>doi:10.1007/978-3-319-66845-1_20</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3334553</dc:relation>
  <dc:relation>doi:10.1007/978-3-030-30446-1_19</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3334570</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>http://labs.metacarta.com/license-explanation.html#license</dc:rights>
  <dc:subject>Program Slicing</dc:subject>
  <dc:subject>Relational Verification</dc:subject>
  <dc:subject>Formal Methods</dc:subject>
  <dc:title>Evaluation Data of SemSlice</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>dataset</dc:type>
</oai_dc:dc>
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