Skip to content

Latest commit

 

History

History
11 lines (9 loc) · 1.21 KB

STATUS.md

File metadata and controls

11 lines (9 loc) · 1.21 KB

We apply for the Available and Reusable badges. We believe our artifact meets the requirements for the two badges in the artifact submission guideline.

  • Available: Our artifact is "Available" as it is publicly accessible through the following repository.

  • Reusable: Our artifact is "Reusable" (and also "Functional") as we meet the following five criteria (the first four are the criteria for "Functional" badge) mentioned in the artifact submission guideline.

    • Documented: We provide the following documents necessary for using our artifact: (1) README, (2) REQUIREMENTS, (3) STATUS, (4) LICENSE, (5) INSTALL, and (6) a copy of the accepted paper.
    • Consistent & Complete: We provide concrete steps for reproducing the main experimental results in the paper.
    • Exercisable: We provide scripts and related commands for running experiments.
    • Reusable for Future Researches: We provide concrete instructions for running SmartFix on other new Solidity contracts. Thus, other researchers can use SmartFix in their own research.