A Dive into Property-Based Testing and Software Verification

In this session, we'll explore the fascinating world of Property-Based Testing (PBT) and how it connects to Software Verification. PBT offers a powerful way to describe software behavior through general properties, while formal verification takes it one step further—proving those properties hold in all cases.
We'll cover:

• What is Property-Based Testing?
• How to describe code with properties?
• Examples of Property-Based Tests
• Describe property categories
• Pitfalls of PBT
• Discuss Arbitraries, logging, and classifiers
• From Tests to Proofs

Whether you're new to property-based testing or looking to bridge the gap between testing and verification, this session will give you both insight and practical tools.