property-testing

There are 60 repositories under property-testing topic.

  • partial-semigroup-hedgehog

    Language:Nix

  • phdthesis

    This is my Ph.D. Thesis, defended at Columbia University in Fall 2017 (Computer Science).

    Language:TeX2

  • ocaml-jack

    QuickCheck with shrinking for free

    Language:OCaml2
  • Mecha

    Mecha

    Mecha is a library designed to test your code in ways you probably never thought of before. It automatically finds edge cases and exceptions in your code with no input needed. Just point it at a class or method and fire away. It's even better than a cat laying on your keyboard at finding weird data for your tests.

    Language:C#1

  • hedgehog-gen

    Customizable Gen for ADT using Generics

    Language:Haskell1

  • fm

    Concise syntax for embedding validation within functions

    Language:Clojure1

  • generative-testing-talk

    Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)

    Language:TypeScript1

  • leancheck-instances

    Common LeanCheck instances

    Language:Haskell1

  • elbaulp-scala.g8

    Giter8 template for a simple Scala project with Property Checks, ScalaTest and log4j

    Language:Scala1

  • dag-check

    Conceptual code for property testing of DAG graphs used for my work

    Language:Haskell1

  • tap-fast-check

    Property testing for Tap using fast-check

    Language:TypeScript

  • IntroClass

    IntroClass benchmark with property tests

    Language:Shell

  • akamai-config-checker

    A command line tool to validate configuration on Akamai staging or production networks

    Language:Go

  • flash

    Flash is a framework developed to test whether a Horn-sampler is epsilon-close or eta-far from a given distribution with confidence greater than 1-delta.

    Language:Python

  • hedgehog-stateful-demo

    A demonstration of stateful systems testing using Hedgehog

    Language:Haskell

  • loc-test

    Hedgehog generators for the 'loc' package

    Language:Nix

  • scala-zio2-test-aspects-property-based-testing-workshop

    Introduction to test aspects and property based testing.

    Language:Scala

  • dist-properties

    A Collection of bug details for a Simple and Efficient Distributed Property Testing research purposes

    Language:TypeScript

  • delimiteds

    Using property testing to feel out the input space of "delimited text file"

    Language:Scala

  • foodie

    Food statistics calculator based on the Canadian Nutrient File

    Language:Elm

  • zammo

    (yet another) Port of QuickCheck to JavaScript

    Language:JavaScript

  • ScalaCheckBookExamplesInTestCheck-js

    Port of the examples in the ScalaCheck book to JavaScript and TestCheck.js

    Language:JavaScript

  • ScalaCheckBookExamplesInJSVerify

    Port of the examples in the ScalaCheck book to JavaScript and JSVerify

    Language:JavaScript

  • QuickCheck

    QuickCheck implementation in Java

    Language:Java