Bob Rubbens,
Marieke Huisman,
Sophie Lathouwers,
Version 1 of Dataset published 2021 via 4TU.ResearchData
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