Property-based State Machine Testing

Explore property-based state machine testing in Haskell through this conference talk from YOW! 2018. Dive into automated testing techniques that go beyond traditional unit tests, focusing on exercising code with randomly generated inputs to ensure key properties hold. Learn how to apply state machine testing to web applications using the Haskell library hedgehog. Gain insights into modeling applications as state machines, testing content creation, deletion, uniqueness constraints, and authentication in a servant web application. Discover how to build more complex tests that capture important properties at a higher application level, enhancing software reliability and developer confidence.

Introduction
Outline
State Machines
Web Applications as State Machines
Web Application Example
State Machine Testing
Register First
RegisterFirst
Play Account
Play
Register Command
Me Command
Outro