Testing Done PropEr - Introduction to Property-Based Testing with PropEr

Explore property-based testing and PropEr's state machine testing capabilities in this 40-minute conference talk from Code BEAM Europe 2022. Dive into the world of automated test generation as Max Nordlund, Lead Backend Developer at Kivra, introduces PropEr and its statem module. Learn how to set up basic property-based tests, understand the concept through a train-based example, and grasp the differences between symbolic and dynamic approaches. Gain insights into writing effective tests for state machines using PropEr statem, with the talk tailored for Erlang developers interested in enhancing their testing practices.

00:00 - - Intro
02:03 - - What is PropEr
04:09 - - Basic Setup
08:36 - - The Tale of Trains
13:20 - - Symbolic vs Dynamic
33:16 - - QnA