SyRust: Automatic Testing of Rust Libraries with Semantic ...
kilthub.cmu.edu
by Y Takashima · 2021 · Cited by 60 — The main challenge is to synthesize well- typed Rust programs to account for proper chaining of API calls and Rust's ownership type system and polymorphic types ...
