property-testing
There are 67 repositories under property-testing topic.
kotest/kotest
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
typelevel/scalacheck
Property-based testing for Scala
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
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
NorfairKing/smos
A comprehensive self-management System
appmattus/kotlinfixture
Fixtures for Kotlin providing generated values for unit testing
hedgehogqa/fsharp-hedgehog
Release with confidence, state-of-the-art property testing for .NET.
camshaft/bolero
property testing and verification front-end for Rust
japgolly/nyaya
Random Data Generation and/or Property Testing in Scala & Scala.JS.
AlexandreDecan/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Bodigrim/smallcheck
Test your Haskell code by exhaustively checking its properties
atilaneves/unit-threaded
Advanced unit test framework for D
Qqwy/ruby-prop_check
Property Testing library in Ruby
rudymatela/fitspec
refine properties for testing Haskell programs
jmid/pbt-frameworks
An overview of property-based testing functionality
propensive/probably
To probe what we can't prove, so the unprovable may become probable; testing for Scala
rudymatela/leancheck
enumerative property-based testing for Haskell
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell
1Jajen1/propCheck
Property based testing for kotlintest ported from quickcheck
elbaulp/Scala-Category-Theory
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
rudymatela/speculate
Speculate laws about Haskell functions
pointfreeco/swift-quickcheck
🏁 An implementation of QuickCheck in Swift.
wolfendale/scalacheck-gen-regexp
A library for creating Scalacheck generators from regular expressions
Aristide021/SwiftQC
Modern property-based testing for Swift 6+. Find edge cases you'd never think to test manually through automatic test generation and intelligent shrinking to minimal counterexamples.
FuzzyMonkeyCo/monkey
@FuzzyMonkeyCo's minion
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
rudymatela/extrapolate
generalize counter-examples of property-based testing
JaCraig/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.
PaulGrandperrin/fuzztest-rs
Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
potatosalad/elixirconf2018
Sustainable Testing
Liqwid-Labs/plutarch-quickcheck
Pain-free QuickCheck helpers for Plutarch
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
dubzzz/breaking-return-true-to-win
Breaking 'return true to win' using Property based testing fast-check
sullvn/tastes
Visualize software behavior with intelligent sampling