The Wayback Machine - https://web.archive.org/web/20200801150556/https://github.com/topics/property-based-testing

#

property-based-testing

Here are 216 public repositories matching this topic...

HypothesisWorks / hypothesis

Star

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

python testing property-based-testing fuzzing

Updated Jul 31, 2020
Python

fast-check

dubzzz / fast-check

Star

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

testing unit-testing typescript tdd quickcheck property-based-testing fuzzing generative-testing

Updated Jul 31, 2020
TypeScript

functionaljava / functionaljava

Star

Functional programming in Java

java algebra functional-programming effects algebraic-data-types monad property-based-testing persistent-data-structure monoid optics

Updated Jul 29, 2020
Java

typelift / SwiftCheck

Star

QuickCheck for Swift

swift quickcheck property-based-testing

Updated Jun 29, 2020
Swift

pholser / junit-quickcheck

Star

Property-based testing, JUnit-style

java junit quickcheck property-based-testing

Updated Jul 31, 2020
Java

hedgehogqa / haskell-hedgehog

Star

Release with confidence, state-of-the-art property testing for Haskell.

testing haskell test quickcheck property-based-testing testing-tools property-testing

Updated Jul 31, 2020
Haskell

trailofbits / deepstate

Star

A unit test-like interface for fuzzing and symbolic execution

unit-testing symbolic-execution property-based-testing fuzzing testing-tools testing-framework

Updated Jul 23, 2020
Python

whatyouhide / stream_data

Star

Data generation and property-based testing for Elixir. 🔮

elixir quickcheck property-based-testing data-generation property-testing

Updated Jun 25, 2020
Elixir

kiwicom / schemathesis

Star

A tool that generates and runs test cases for Open API / Swagger based apps

graphql cli swagger pytest property-based-testing hypothesis openapi3

Updated Jul 29, 2020
Python

quicktheories / QuickTheories

Star

Property based testing for Java 8

testing junit quickcheck property-based-testing java-8

Updated Jun 14, 2020
Java

haf / expecto

Star

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

testing unit-testing stress-testing property-based-testing performance-testing

Updated Jul 27, 2020
F#

leanovate / gopter

Star

GOlang Property TestER

golang property-based-testing golang-property-tester

Updated Jun 23, 2020
Go

keathley / norm

Star

Data specification and generation

elixir property-based-testing specifcation

Updated Jul 29, 2020
Elixir

typelevel / discipline

Star

Flexible law checking for Scala

scala typelevel property-based-testing

Updated Jul 28, 2020
Scala

JQF

rohanpadhye / JQF

Star

JQF + Zest: Coverage-guided semantic fuzzing for Java.

junit quickcheck property-based-testing fuzzing afl coverage-guided-fuzzing

Updated Jul 31, 2020
Java

scalaprops / scalaprops

Star

property based testing library for Scala

testing scala prng scalaz scalaprops property-based-testing scala-js mersenne-twister dotty scala3 scala-native

Updated Jul 26, 2020
Scala

rantly-rb / rantly

Star

Ruby Imperative Random Data Generator and Quickcheck

ruby rspec random quickcheck property-based-testing randomness minitest test-unit randomness-testing randomness-generation

Updated Jan 16, 2019
Ruby

alfert / propcheck

Star

Property based Testing for Elixir (based upon PropEr)

elixir property-based-testing proper propcheck

Updated Jul 22, 2020
Elixir

hedgehogqa / fsharp-hedgehog

Star

Release with confidence, state-of-the-art property testing for .NET.

testing fsharp test quickcheck property-based-testing testing-tools property-testing

Updated Jul 26, 2020
F#

advancedtelematic / quickcheck-state-machine

Star

Test monadic programs using state machine based models

testing haskell haskell-library quickcheck property-based-testing

Updated Mar 17, 2020
Haskell

c-cube / qcheck

Star

QuickCheck inspired property-based testing for OCaml.

testing random ocaml quickcheck property-based-testing monadic-interface ounit random-generator alcotest

Updated Jul 30, 2020
OCaml

flyingmutant / rapid

Star

Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")

testing golang quickcheck property-based-testing fuzzing property-testing

Updated Jul 15, 2020
Go

japgolly / nyaya

Star

Random Data Generation and/or Property Testing in Scala & Scala.JS.

scala functional-programming random fp scalajs property-based-testing property-testing random-data-generation

Updated Jul 27, 2020
Scala

loiclec / fuzzcheck-rs

Star

Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.

swift rust coverage pool mutation ranking property-based-testing fuzzing complexities fuzzer coverage-guided-fuzzing fuzzing-engine bitstrings rust-functions

Updated Jul 19, 2020
Rust

JamieMason / expect-more

Star

Curried Type Testing library, and Test Matchers for Jest

testing typescript jasmine jest tdd mutation-testing bdd assertions property-based-testing assert matchers expect jasmine-matchers property-testing type-test jest-matchers test-matchers

Updated Jul 17, 2020
TypeScript

atilaneves / unit-threaded

Star

Advanced unit test framework for D

testing mock unit-testing integration-testing d dlang mocking unittest property-based-testing property-testing dlanguage

Updated Jul 29, 2020
D

life4 / deal

Star

Design by contract for Python with many validators support.

python validation interface functional-programming linter decorators property-based-testing flake8 post pythonic contracts-programming contracts invariant design-by-contract pre deal

Updated May 13, 2020
Python

Zac-HD / hypothesis-jsonschema

Star

Tools to generate test data from JSON schemata with Hypothesis

python json-schema property-based-testing hypothesis

Updated Jul 17, 2020
Python

agroce / tstl

Star

Template Scripting Testing Language tool: automated test generation for Python

python testing test-automation property-based-testing fuzzing testing-tools afl afl-fuzz test-generation fault-localization delta-debugging tstl random-testing swarm-testing test-reduction fuzzers property-based

Updated Jan 4, 2020
Python

vic / spec

Star

Data specification conformance and generation for Elixir

elixir specification property-based-testing predicates clojure-spec data-conformers property-based-testing-specifcation

Updated May 19, 2020
Elixir

Improve this page

Add a description, image, and links to the property-based-testing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the property-based-testing topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.