SyRust Artifact: PLDI2021 Artifact
softwareposted on 14.04.2021, 14:15 by Yoshiki TakashimaYoshiki Takashima, Ruben Carlos Goncalves MartinsRuben Carlos Goncalves Martins, Limin JiaLimin Jia, Corina PasareanuCorina Pasareanu
This file is SyRust's accompanying artifact for PLDI 2021.
Steps for using the artifact are as follows.
1. Download the artifact and check the md5sum
2. Unzip the file with
`tar -xf FINAL-85-pldi2021ae-syrust.tar.gz`
and the artifact will be in `pldi2021ae-syrust/`.
3. Follow the instructions provided in README.txt
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
Directorate for Computer & Information Science & EngineeringFind out more...