SyRust Artifact: PLDI2021 Artifact
softwareposted on 14.04.2021, 14:15 by Yoshiki Takashima, Ruben Carlos Goncalves Martins, Limin Jia, Corina 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...