Dirk Beyer, Matthias Kettl: Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'. Zenodo 2022