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
Counterexamples in Safe Rust | Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops https://dl.acm.org/doi/abs/10.1145/3691621.3694943 20 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:dl.acm.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: