software
posted on 2021-04-14, 14:15 authored by Yoshiki TakashimaYoshiki Takashima, Ruben Carlos Goncalves MartinsRuben Carlos Goncalves Martins, Limin JiaLimin Jia, Corina PasareanuCorina PasareanuThis file is SyRust's accompanying artifact for PLDI 2021.<div><br></div><div>Steps for using the artifact are as follows.<br><div>1. Download the artifact and check the md5sum</div><div><div>e84b1e7cb133a80d8973d8ccbbaed92b FINAL-85-pldi2021ae-syrust.tar.gz</div></div><div><br></div><div>2. Unzip the file with </div><div>`tar -xf FINAL-85-pldi2021ae-syrust.tar.gz` </div><div>and the artifact will be in `pldi2021ae-syrust/`.</div><div><br></div><div>3. Follow the instructions provided in README.txt</div><div><br></div></div>
Funding
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
Directorate for Computer & Information Science & Engineering
Find out more...History
Related Materials
- 1.
- 2. DOI - Is supplement to SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
