A Tour of Empirical Verification in Rust
summary
Practical checklist of ways to verify Rust code with concrete tools and limits: run small examples with cargo run and unit suites with cargo test for scenario checks; use fuzzing (coverage guided fuzzers integrated into Rust ecosystem) to explore large input spaces; use property testing like proptest or quickcheck to generate structured inputs and shrink failures to minimal cases; measure gaps with code coverage and strengthen tests via mutation testing to find weak assertions and untested behavior.
AI-written summary · about
chapters (9)
- 0:00Introduction to verification
- 2:32Example-based testing
- 5:47Automated scenario testing
- 7:30Exhaustive testing limits
- 9:38Fuzz testing in Rust
- 13:19Property-based testing
- 16:11Test reduction techniques
- 17:59Evaluating test quality
- 20:36Summary and Q&A
related talks
28mBuild bigger in less time: code testing beyond the basics
19mA Hybrid Approach to Semi-automated Rust Verification
58mRust for The Curious C++ Developers
26mPiecing together Rust: It is more than just writing code
31mValidating Rust for industry: Certification meets formal analysis
29mRust is easy
15mConveros: Practical Model Checking for Verifying Rust OS Kernel Concurrency
32mTesting strategies and pattern for efficient TDD in Rust