SyRust: automatic testing of Rust libraries with semantic-aware program synthesis | Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation - discu.eu

Linking pages

GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
This Week in Rust 411 · This Week in Rust https://this-week-in-rust.org/blog/2021/10/06/this-week-in-rust-411/ 8 comments

Linked pages

Related searches:

Search whole site: site:doi.org

Search title: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis | Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

See how to search.

Submit link to: