Introduction to Stateful Property-Based Testing

Property-based testing is a technique for writing tests that use a framework for creating test inputs and user-defined properties for validating outputs. Generating data allows for finding bugs that would be impossible to catch by regular unit tests.

Tomasz explains why it's worth getting into PBT by introducing successful usages for testing AUTOSAR, LevelDB and Dropbox — all of which use stateful testing. The second half of the talk walks through creating a stateful test for a simple key-value store.