Software testing often reaches its limits when dealing with edge cases and robustness. Property-Based Testing (PBT) offers a solution: instead of writing specific test cases, you define properties that must always hold true. With frameworks like FsCheck, which support both F# and C#, thousands of test cases can be automatically generated to uncover bugs that might otherwise go unnoticed.

In this session, you'll learn how to integrate PBT into your development process. Through practical examples, I’ll explain how to use generators to create realistic test data and how shrinking helps pinpoint the root causes of failures. I’ll show how to test stateful systems and combine PBT with existing tests to achieve maximum coverage. Whether you prefer functional idioms in F# or pragmatic approaches in C#: PBT takes your testing to the next level.

Join this journey, discover hidden bugs, and build more robust software!