SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis–Technical Report
Version 3 2021-06-24, 19:10
Version 2 2021-04-14, 16:25
Version 1 2021-04-14, 14:15
report
posted on 2021-06-24, 19:10 authored by Yoshiki TakashimaYoshiki Takashima, Ruben Carlos Goncalves MartinsRuben Carlos Goncalves Martins, Limin JiaLimin Jia, Corina PasareanuCorina Pasareanu<p>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.</p>
<p><br></p>
<p>The original paper appeared at PLDI2021.</p>
<p>https://pldi21.sigplan.org/details/pldi-2021-papers/59/SyRust-Automatic-Testing-of-Rust-Libraries-with-Semantic-Aware-Program-Synthesis<br>
</p>
<p><br></p>
<p>The artifact is also available at the below URL:</p>
<p>https://doi.org/10.1184/R1/14356976.v1</p>
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.
- 3. DOI - Is supplement to SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis