%0 Generic
%A Rubbens, Robert
%A Huisman, Marieke
%A Lathouwers, Sophie
%D 2021
%T Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
%U https://data.4tu.nl/articles/dataset/Data_accompanied_to_the_paper_Modular_Transformation_of_Java_Exceptions_Modulo_Errors/14905251/1
%R 10.4121/14905251.v1
%K deductive verification
%K java
%K vercors
%K exceptions
%K finally
%K errors
%X This package accompanies the paper "Modular Transformation of Java Exceptions Modulo Errors" for submission to FMICS 2021.<br>## Formats<br>The executable parts of the package are only meant to be used on Linux. The data parts are readable on any OS with a text viewer like notepad, textedit, or vim/emacs. The tables are in .ods format and hence are viewable with any spreadsheet program, such as openoffice, libreoffice, or microsoft office.<br>## Contents<br>- categoryTable.ods: A table containing an overview of several works categorizing patterns of exceptions. Contains the patterns of exceptions per paper, and an aggregated table where all categories are combined into common categories.- evaluation: Contains all examples used to evaluate the implementation. Each example is based on a pattern in the category table.- jstar: Contains a test setup for jStar and two test programs to test jStar. Instructions for running the test setup are included in the folder.- krakatoa: Contains a test setup for Krakatoa and a test program to show that Krakatoa has no support for finally. Instructions for running the test setup are included in the folder.- README.md: A readme with instructions.- vercors-1.4.0-SNAPSHOT: A build of vercors of the primary development branch "dev", which includes the latest fixes needed to verify the examples in the evaluation folder. It can be run using the run script in vercors-1.4.0-SNAPSHOT, or through the runVercors.sh script in evaluation. Java 11 is required to be installed for vercors to run.<br>## Questions<br>For questions about this package, please visit https://vercors.ewi.utwente.nl/  and get in touch with us.<br>
%I 4TU.ResearchData