This is an artifact abstract for the ICSE’23 paper “Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?”

The purpose of the artifact is to allow the readers of the paper to examine and reproduce the results of the experiments we presented in the evaluation section.

The artifact includes (1) the files with the raw data for the results presented in the evaluation section of the paper, (2) the specifications used as inputs for the experiments, and (3) the scripts and executables to reproduce the experiments.

The artifact is available from Zenodo at: https://doi.org/10.5281/zenodo.7528203