Sean Payne (Software Engineer at Braid) talks about his experience with property based testing, a practical and powerful hybrid of formal methods and handwritten tests. Watch to learn about the benefits and challenges of this approach, as well as about using it in your Rust projects.
Special thanks to:
- Braid (https://braid.tech) for helping organize and host the event
- WeWork for providing the venue and presentation equipment
https://www.meetup.com/tokyo-rust-meetup/events/290667325/