stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

语言：Haskell · GitHub 星标：79 · Fork：5

话题：fault-injection · haskell · linearizability · property-based-testing · simulation-testing · state-machines · tutorial

在 GitHub 上查看原仓库