Presented by


This talk will cover a bunch of topics related to testing Rust code. We'll do a quick tour of basic unit and integration testing, how the module tree looks in a typical Rust crate. Then we will move on to cover four different testing approaches: - Mutation testing with Mutagen. - Code verification with Kani. - Property-based testing with Quickcheck and Arbitrary. - Fuzzing with Hongfuzz. Recently, in rust-bitcoin, we have been putting a bit more effort into testing, I have found this quite interesting and have learned a whole bunch. This talk hopes to share some things I've learned and inspire more enthusiasm for what is sometimes an unloved part of software. YouTube: