GitHub / platonic-io / property-based-testing-stateful-systems
A tutorial about how to apply property-based testing to stateful systems.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/platonic-io%2Fproperty-based-testing-stateful-systems
PURL: pkg:github/platonic-io/property-based-testing-stateful-systems
Stars: 2
Forks: 1
Open issues: 1
License: mit
Language: Haskell
Size: 636 KB
Dependencies parsed at: Pending
Created at: over 2 years ago
Updated at: over 1 year ago
Pushed at: over 2 years ago
Last synced at: 23 days ago
Topics: fault-injection, haskell, linearizability, property-based-testing, simulation-testing, state-machines, tutorial