Stateful property-based testing with QuickCheck State Machine
A gentle introduction to quickcheck-state-machine, a Haskell library for testing stateful programs.
Tags: testing, tutorial, advanced, haskell