We request the Available and Reusable badges. After carefully reading the guidelines for artifact submissions, we confirmed that our artifact meets the requirements for the two badges.
- Available Our artifact is "Available" as we provide it via two publicly accessible archival repositories:
- Reusable Our artifact is "Reusable" as we meet the following five criteria, where the first four are the criteria for "Functional" badge.
- Documented: We satisfy this criterion as we provide sufficient descriptions to use our artifact in the Github repository above. In particular, as specified in call for artifact submissions,2 we provide the following documents through the Github repository (also available in the Zenodo): (1) README, (2) REQUIREMENTS, (3) STATUS, (4) LICENSE, (5) INSTALL, and (6) a copy of the accepted paper.
- Consistent & Complete: We satisfy these two criteria as we provide concrete steps for reproducing all experimental results.
- Exercisable: We satisfy this crietrion as we provide scripts and related commands for reproducing experimental results.
- Reusable for Future Researches: We satisfy this criterion as we provide detailed instructions on how to run Diver on new other benchmarks, so that other researchers can use Diver in their own researches.