property-based-testing

There are 322 repositories under property-based-testing topic.

  • PropCheck.jl

    A package for simple property based testing in julia.

    Language:Julia80

  • spec

    Data specification conformance and generation for Elixir

    Language:Elixir78

  • fitspec

    refine properties for testing Haskell programs

    Language:Haskell74

  • decrel

    Composable relations for Scala

    Language:Scala72

  • property-based-testing-stateful-systems-tutorial

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

    Language:Haskell70

  • kitimat

    A library for generative, property-based testing in TypeScript and Jest.

    Language:TypeScript68

  • qcstm

    A simple state-machine framework for OCaml based on QCheck

    Language:OCaml65
  • ponycheck

    ponycheck

    Property Based Testing for Ponylang 🐴 ✔️

    Language:Pony59

  • propauth

    A library for property-based policy evaluation

    Language:PHP59

  • pbt-frameworks

    An overview of property-based testing functionality

    56

  • swagger-conformance

    Python based tool for testing whether your API conforms to its Swagger schema

    Language:Python53

  • leancheck

    enumerative property-based testing for Haskell

    Language:Haskell53

  • Supposition.jl

    A Julia implementation of choice sequence based PBT, inspired by Hypothesis

    Language:Julia49

  • piggy

    Test for spec compatibility and breaking changes.

    Language:Clojure47

  • Kea

    Property-based Testing for Mobile GUI Apps

    Language:Python46

  • glados

    🍰 A property-based testing framework that tries to break your invariances.

    Language:Dart46

  • quick_check.js

    A JS implementation of quick_check

    Language:CoffeeScript46

  • snabbkaffe

    Collection of utilities for trace-based testing

    Language:Erlang45

  • ava-fast-check

    Property based testing for AVA based on fast-check

    Language:JavaScript45

  • lark-grammars

    Grammars suitable for lark parser and Hypothesis

    Language:Python44
  • act

    act

    Executable state charts, property based testing and more.

    Language:Java41

  • runtypes-generate

    Transform runtypes type to jsverify arbitrary for generate sample of data

    Language:TypeScript41

  • hypothesis-gufunc

    Extension to hypothesis for testing numpy general universal functions

    Language:Python39

  • fuzz-rest-api

    Derive property based testing fast-check into a fuzzer for REST APIs

    Language:JavaScript38

  • efftester

    Effect-Driven Compiler Tester for OCaml

    Language:OCaml38

  • multicoretests

    PBT testsuite and libraries for testing multicore OCaml

    Language:OCaml37
  • nanofuzz

    nanofuzz

    NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code

    Language:TypeScript36

  • Fable.Jester

    Fable bindings for jest and friends for delightful Fable testing.

    Language:F#35

  • propCheck

    Property based testing for kotlintest ported from quickcheck

    Language:Kotlin34

  • Scala-Category-Theory

    Bartosz Milewski great book on Category Theory implemented in scala, with property Tests

    Language:Scala33

  • swagger-test

    Property based testing tool for Swagger APIs

    Language:Haskell33
  • 2024-summer-craft-book

    2024-summer-craft-book

    Summer Craft Book 2024 🏖️

    Language:Java32

  • rackcheck

    A property-based testing library for Racket.

    Language:Racket31

  • speculate

    Speculate laws about Haskell functions

    Language:Haskell30

  • clausejs

    Write contract once. Get data & function validators & conformers, an accurate & readable project contract, auto-generated API documentation, generative test coverage, plus more. A tool that enables a more predictable workflow for developing your JavaScript projects.

    Language:TypeScript28

  • fast-check-examples

    Property based testing (QuickCheck) examples based on fast-check

    Language:JavaScript27