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="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <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: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: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>
All versions This version
Views 6261
Downloads 77
Data volume 588.9 kB588.9 kB
Unique views 5958
Unique downloads 55


Cite as