We would like to apply for the Reusable and Available badges.
In this artifact, We provide the source code of our tool uRTS and the modified version of ekstazi, experiment scripts, configuration files, detailed instructions, and all the other relevant materials to support reusability and availability of our work. We placed the artiface on a public repository: https://github.com/xlab-uiuc/uRTS-ae. We also archived the artifact on Zenodo with DOI(10.5281/zenodo.7566915)
The source code of our tool uRTS and the modified version of ekstazi is provided with detailed instructions in their README.md files.
To reproduce all the experiment results, we provide all the scripts and relevant materials with detailed instructions under experiment/ directory (in this repository).