stevana / property-based-testing-stateful-systems-tutorial Star 69 Code Issues Pull requests A tutorial about how to apply property-based testing to stateful systems. haskell tutorial property-based-testing state-machines fault-injection linearizability simulation-testing Updated Feb 10, 2023 Haskell
PaulRegular / SimSurvey Star 10 Code Issues Pull requests A tool for comparing the design and analysis of surveys by simulating spatially-correlated populations analysis simulation-testing survey-design fisheries-research Updated Sep 21, 2023 R
platonic-io / property-based-testing-stateful-systems Star 2 Code Issues Pull requests A tutorial about how to apply property-based testing to stateful systems. haskell tutorial property-based-testing state-machines fault-injection linearizability simulation-testing Updated Dec 27, 2022 Haskell
pragyanatvade / js-specs Star 1 Code Issues Pull requests Idiomatic spec library for javascript nodejs spec property-based-testing clojure-spec generative-testing simulation-testing Updated Dec 6, 2022 JavaScript
nearvndev / counter-tutorial-rs Star 1 Code Issues Pull requests basic unit-testing blockchain near simulation-testing Updated Mar 26, 2022 Rust