Property-Based Testing in Rust

Hosted By
Mate K.

Details
Software without bugs! Wouldn't that be nice? Unfortunately, formal proofs are impractical for most of us. Writing tests, on the other hand, we are quickly outnumbered by possibilities. Can we do better?
Sean Payne (Software Engineer at Braid) will talk about his experience with property based testing, a practical and powerful hybrid of formal methods and handwritten tests. Join us to learn about the benefits and challenges of this approach, as well as about using it in your Rust projects.
Agenda
- 30 minutes open chat
- 45 minutes presentation & questions
- 30 minutes open chat with FREE FOOD & BEER
IMPORTANT: Attendees must be at least 20 years old due to WeWork's rules.
COVID-19 safety measures
Masks required
Event will be indoors
Please continue to wear a mask when you're not eating or drinking!
The event host is instituting the above safety measures for this event. Meetup is not responsible for ensuring, and will not independently verify, that these precautions are followed.

Tokyo Rust Meetup
See more events
WeWork Shibuya Scramble Square
Shibuya-ku, 2丁目-24-12 渋谷 渋谷区 · 東京都
Property-Based Testing in Rust