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