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


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>Simon Bischof</dc:creator>
  <dc:creator>Mihai Herda</dc:creator>
  <dc:creator>Michael Kirsten</dc:creator>
  <dc:creator>Holger Klein</dc:creator>
  <dc:creator>Marko Kleine Büning</dc:creator>
  <dc:creator>Joachim Müssig</dc:creator>
  <dc:date>2019-08-03</dc:date>
  <dc:description>This dataset contains the programs on which the Combined Approach was evaluated.

The Java source code of each evaluated program is in the "src" folder.
The compiled jar file of each evaluated program is in the "testdata" folder.

The .joak file contains the annotated sources and sinks for each evaluated program.
Note that you may not be able to load the .joak files directly into the Combined 
Approach program as the various paths in the .joak files need to be fixed first.
The purpose of the .joak files in this repository is to document the sources and sinks.
You can also generate new .joak files with the Combined Approach application.</dc:description>
  <dc:identifier>https://zenodo.org/record/3359387</dc:identifier>
  <dc:identifier>10.5281/zenodo.3359387</dc:identifier>
  <dc:identifier>oai:zenodo.org:3359387</dc:identifier>
  <dc:relation>doi:10.1007/978-3-030-02450-5_17</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3359433</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3359386</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>http://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:subject>Noninterference</dc:subject>
  <dc:subject>Software Verification</dc:subject>
  <dc:subject>Formal Methods</dc:subject>
  <dc:subject>Program Slicing</dc:subject>
  <dc:subject>Static Analysis</dc:subject>
  <dc:subject>Deductive Verification</dc:subject>
  <dc:title>Evaluation Data of the Combined Approach</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>dataset</dc:type>
</oai_dc:dc>
21
3
views
downloads
All versions This version
Views 2121
Downloads 33
Data volume 148.0 kB148.0 kB
Unique views 2121
Unique downloads 22

Share

Cite as