The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/14905251

Rubbens, Robert; Huisman, Marieke; Lathouwers, Sophie (2021): Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/14905251.v1

Dataset

• Computer Software

deductive verification, errors, exceptions, finally, java, vercors

CC BY-SA 4.0

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

by Robert Rubbens , Marieke Huisman , Sophie Lathouwers

This package accompanies the paper "Modular Transformation of Java Exceptions Modulo Errors" for submission to FMICS 2021.
## Formats
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.
## Contents
- 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.
## Questions
For questions about this package, please visit https://vercors.ewi.utwente.nl/ and get in touch with us.

• 2021-08-25 first online, published, posted

4TU.ResearchData

UTF-8 text files Java files Jstar input files Krakatoa input files OpenDocument Spreadsheet Shell scripts Nix package manager scripts VerCors binary package

Modular Transformation of Java Exceptions Modulo Errors

• OND1363050

University of Twente, Formal Methods And Tools Group