quickcheck
There are 145 repositories under quickcheck topic.
dubzzz/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
typelift/SwiftCheck
QuickCheck for Swift
fscheck/FsCheck
Random Testing for .NET
pholser/junit-quickcheck
Property-based testing, JUnit-style
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
hspec/hspec
A Testing Framework for Haskell
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
rohanpadhye/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
UnkindPartition/tasty
Modern and extensible testing framework for Haskell
flyingmutant/rapid
Rapid is a modern Go property-based testing library
jqwik-team/jqwik
Property-Based Testing on the JUnit Platform
quicktheories/QuickTheories
Property based testing for Java 8
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
rantly-rb/rantly
Ruby Imperative Random Data Generator and Quickcheck
hedgehogqa/fsharp-hedgehog
Release with confidence, state-of-the-art property testing for .NET.
advancedtelematic/quickcheck-state-machine
Test monadic programs using state machine based models
AnthonyLloyd/CsCheck
Random testing library for C#
Qqwy/ruby-prop_check
Property Testing library in Ruby
Lysxia/generic-random
Generic random generators
garbles/kitimat
A library for generative, property-based testing in TypeScript and Jest.
jmid/qcstm
A simple state-machine framework for OCaml based on QCheck
Wilfred/propcheck
Quickcheck/hypothesis style testing for elisp
jmid/pbt-frameworks
An overview of property-based testing functionality
DalekBaldwin/check-it
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
gampleman/quick_check.js
A JS implementation of quick_check
dubzzz/ava-fast-check
Property based testing for AVA based on fast-check
dubzzz/fuzz-rest-api
Derive property based testing fast-check into a fuzzer for REST APIs
jmid/efftester
Effect-Driven Compiler Tester for OCaml
NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
lukeg101/lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
1Jajen1/propCheck
Property based testing for kotlintest ported from quickcheck
regex-generate/regenerate
Tool to generate test-cases for regular expression engines
ifigueroap/racket-quickcheck
Quickcheck Clone implemented in Racket
input-output-hk/quickcheck-dynamic
A library for stateful property-based testing
lycantropos/hypothesis_sqlalchemy
hypothesis strategies for generating SQLAlchemy objects