SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.

Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu

Browse the full PLDI paper archive.