Carnegie Mellon University
Browse
syrust-tr.pdf (1.17 MB)

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

Download (1.17 MB)
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

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://doi.org/10.1184/R1/14356976.v1

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

2021-04-01

Usage metrics

    Categories

    Keywords

    RustProgram SynthesisAPI TestingConstraint SolvingSoftware Security

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC