property-based-testing
There are 328 repositories under property-based-testing topic.
HypothesisWorks/hypothesis
The property-based testing library for Python
dubzzz/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
schemathesis/schemathesis
Catch API bugs before your users do
functionaljava/functionaljava
Functional programming in Java
typelift/SwiftCheck
QuickCheck for Swift
pholser/junit-quickcheck
Property-based testing, JUnit-style
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
trailofbits/deepstate
A unit test-like interface for fuzzing and symbolic execution
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
haf/expecto
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
rohanpadhye/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
elixir-toniq/norm
Data specification and generation
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
flyingmutant/rapid
Rapid is a modern Go property-based testing library
leanovate/gopter
GOlang Property TestER
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
quicktheories/QuickTheories
Property based testing for Java 8
loiclec/fuzzcheck-rs
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
alfert/propcheck
Property based Testing for Elixir (based upon PropEr)
typelevel/discipline
Flexible law checking for Scala
rantly-rb/rantly
Ruby Imperative Random Data Generator and Quickcheck
hedgehogqa/fsharp-hedgehog
Release with confidence, state-of-the-art property testing for .NET.
scalaprops/scalaprops
property based testing library for Scala
python-jsonschema/hypothesis-jsonschema
Tools to generate test data from JSON schemata with Hypothesis
ohbarye/pbt
Property-Based Testing tool for Ruby that supports concurrency with Ractor.
advancedtelematic/quickcheck-state-machine
Test monadic programs using state machine based models
ghandic/jsf
Creates fake JSON files from a JSON schema
japgolly/nyaya
Random Data Generation and/or Property Testing in Scala & Scala.JS.
JamieMason/expect-more
Curried Type Testing library, and Test Matchers for Jest
Bodigrim/smallcheck
Test your Haskell code by exhaustively checking its properties
atilaneves/unit-threaded
Advanced unit test framework for D
agroce/tstl
Template Scripting Testing Language tool: automated test generation for Python
Qqwy/ruby-prop_check
Property Testing library in Ruby
advent-of-craft/2023
Advent of Craft 2023
gcanti/fp-ts-laws
fp-ts type class laws for property based testing