SyRust: automatic testing of Rust libraries with semantic-aware program synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Păsăreanu · 2021
Rust’s type system ensures the safety of Rust programs; however, programmers can side-step some of the strict typing rules by using the unsafe keyword. A common use of unsafe Rust is by libraries. Bugs in these libraries undermine the safety of the entire Rust program. Therefore, it is crucial to thoroughly test library APIs to rule out bugs. Unfortunately, such testing relies on programmers to manually construct test cases, which is an inefficient and ineffective process.