syrust-tr.pdf (1.17 MB)
Download file

SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis–Technical Report

Download (1.17 MB)
report
posted on 24.06.2021, 19:10 authored 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.
https://pldi21.sigplan.org/details/pldi-2021-papers/59/SyRust-Automatic-Testing-of-Rust-Libraries-with-Semantic-Aware-Program-Synthesis

The artifact is also available at the below URL:
https://kilthub.cmu.edu/articles/software/SyRust_Artifact_PLDI2021_Artifact/14356976/0

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

Publisher Statement

Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Pasare-anu. 2021. SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis . InProceedings of the 42nd ACM SIGPLANInternational Conference on Programming Language Design and Im-plementation (PLDI ’21), June 20–25, 2021, Virtual, Canada.ACM,New York, NY, USA, 19 pages.https://doi.org/10.1145/3453483.3454084

Date

01/04/2021