property-testing

There are 61 repositories under property-testing topic.

  • stream_data

    Data generation and property-based testing for Elixir. 🔮

    Language:Elixir866

  • haskell-hedgehog

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

    Language:Haskell675

  • rapid

    Rapid is a modern Go property-based testing library

    Language:Go581

  • smos

    A comprehensive self-management System

    Language:Haskell288

  • fsharp-hedgehog

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

    Language:F#272
  • kotlinfixture

    kotlinfixture

    Fixtures for Kotlin providing generated values for unit testing

    Language:Kotlin265

  • nyaya

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

    Language:Scala185

  • bolero

    property testing and verification front-end for Rust

    Language:C183

  • sismic

    Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

    Language:Python141

  • smallcheck

    Test your Haskell code by exhaustively checking its properties

    Language:Haskell134

  • unit-threaded

    Advanced unit test framework for D

    Language:D121

  • ruby-prop_check

    Property Testing library in Ruby

    Language:Ruby84

  • fitspec

    refine properties for testing Haskell programs

    Language:Haskell75
  • probably

    probably

    To probe what we can't prove, so the unprovable may become probable; testing for Scala

    Language:Scala55

  • pbt-frameworks

    An overview of property-based testing functionality

    52

  • leancheck

    enumerative property-based testing for Haskell

    Language:Haskell52

  • multicoretests

    PBT testsuite and libraries for testing multicore OCaml

    Language:OCaml37

  • easyspec

    Signature inference for Functional Property Discovery in Haskell

    Language:Haskell36

  • 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:Scala31

  • speculate

    Speculate laws about Haskell functions

    Language:Haskell30

  • swift-quickcheck

    🏁 An implementation of QuickCheck in Swift.

    Language:Swift24

  • scalacheck-gen-regexp

    A library for creating Scalacheck generators from regular expressions

    Language:Scala23

  • wasm-prop-tester

    A stack-driven generator of arbitrary WebAssembly programs

    Language:OCaml20

  • monkey

    @FuzzyMonkeyCo's minion

    Language:Go20

  • extrapolate

    generalize counter-examples of property-based testing

    Language:Haskell13

  • elixirconf2018

    Sustainable Testing

    Language:Elixir7

  • plutarch-quickcheck

    Pain-free QuickCheck helpers for Plutarch

    Language:Haskell6

  • fuzztest-rs

    Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.

    Language:Rust6

  • rooster-spec

    Automated Theory Exploration in Coq using Haskell's QuickSpec

    Language:Coq4

  • breaking-return-true-to-win

    Breaking 'return true to win' using Property based testing fast-check

    Language:JavaScript3

  • tastes

    Visualize software behavior with intelligent sampling

    Language:TypeScript3

  • guesswork

    Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.

    Language:TypeScript3

  • functional-fizzbuzz

    (Mirror) An exercise in Python, functional programming and property testing

    Language:Python2

  • hedgehog-stateful-demo

    A demonstration of stateful systems testing using Hedgehog

    Language:Haskell2

  • hedgehog-optics

    Hedgehog properties for optics laws

    Language:Haskell2