Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

doi: 10.4121/14905251.v1
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
Datacite citation style:
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
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Dataset
University of Twente logo
usage stats
1118
views
2
citations
180
downloads
categories
licence
cc-by-sa.png logo CC BY-SA 4.0
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.

history
  • 2021-08-25 first online, published, posted
publisher
4TU.ResearchData
format
UTF-8 text files Java files Jstar input files Krakatoa input files OpenDocument Spreadsheet Shell scripts Nix package manager scripts VerCors binary package
associated peer-reviewed publication
Modular Transformation of Java Exceptions Modulo Errors
funding
  • OND1363050
organizations
University of Twente, Formal Methods And Tools Group

DATA

files (1)