Session

From Examples to Exhaustive: Intro to Property-Based Testing

Tired of writing countless test cases, thinking up random examples? Discover how property-based testing can turbocharge your testing process, making your test suite exhaustive with minimal effort. Property-Based Testing generates vast numbers of robust yet simple test cases, automatically -- and if it finds a problem, most tools will narrow it down to the exact edge cases. You will learn a powerful technique to uncover edge cases and exceptions you never knew existed, and make your test suite exhaustive, while actually writing fewer tests.


Depending on conference preference, this might be done in Elixir, Python, Ruby, JavaScript, or maybe other languages if I have lead time to delve into their tooling.

I have done this for one conference so far, Software Quality Days, in Vienna, Austria, in May 2026; the recording (from my phone, so don't expect professional-level production) is at https://www.youtube.com/watch?v=KyZ6_6fO0dY .

Agenda:
- Status quo: testing by looking at chosen examples
- The problem with the status quo
- Basic explanation of Property Testing
- Simple and slightly more complex examples
- "Shrinking" to find edge cases
- FAQs
- Recap/Wrapup
- Q&A

Dave Aronson

T. Rex at Codosaurus, LLC

Porto, Portugal

Actions

Please note that Sessionize is not responsible for the accuracy or validity of the data provided by speakers. If you suspect this profile to be fake or spam, please let us know.

Jump to top