GitHub repository: stevana/property-based-testing-stateful-systems-tutorial
Primary language: Haskell
Description:  A tutorial about how to apply property-based testing to stateful systems.