SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis–Technical Report
reportposted on 24.06.2021, 19:10 by Yoshiki TakashimaYoshiki Takashima, Ruben Carlos Goncalves MartinsRuben Carlos Goncalves Martins, Limin JiaLimin Jia, Corina PasareanuCorina Pasareanu
This paper is the companion technical report for "SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis." This technical report contains figures omitted from the published paper due to space constraints.
The original paper appeared at PLDI2021.
The artifact is also available at the below URL:
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...