property-based-testing

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

• HypothesisWorks / hypothesis

  The property-based testing library for Python

  fuzzingproperty-based-testingpythontesting
  Language:Python 8209
• fast-check

  dubzzz / fast-check

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

  fakerfuzzinggenerative-testingproperty-based-testingquickchecktddtestingtypescriptunit-testing
  Language:TypeScript 4661

• schemathesis / schemathesis

  Catch API bugs before your users do

  apiapi-testingclifuzzinggraphqlhypothesisopenapiproperty-based-testingpytestswaggertesting
  Language:Python 2832

• functionaljava / functionaljava

  Functional programming in Java

  algebraalgebraic-data-typeseffectsfunctional-programmingjavamonadmonoidopticspersistent-data-structureproperty-based-testing
  Language:Java 1621

• typelift / SwiftCheck

  QuickCheck for Swift

  swiftquickcheckproperty-based-testing
  Language:Swift 1421

• pholser / junit-quickcheck

  Property-based testing, JUnit-style

  junitquickcheckjavaproperty-based-testing
  Language:Java 973

• whatyouhide / stream_data

  Data generation and property-based testing for Elixir. 🔮

  elixirproperty-based-testingproperty-testingdata-generationquickcheck
  Language:Elixir 919

• life4 / deal

  🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

  pythoncontractsinvariantcontracts-programmingdecoratorsfunctional-programmingdesign-by-contractpythonicdealvalidationinterfacelinterflake8property-based-testingdbcmypytypingrefinement-typestestinghacktoberfest
  Language:Python 844

• trailofbits / deepstate

  A unit test-like interface for fuzzing and symbolic execution

  fuzzingproperty-based-testingsymbolic-executiontesting-frameworktesting-toolsunit-testing
  Language:Python 843

• haf / expecto

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

  performance-testingproperty-based-testingstress-testingtestingunit-testing
  Language:F# 719
• JQF

  rohanpadhye / JQF

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

  fuzzingjunitquickcheckproperty-based-testingcoverage-guided-fuzzingafl
  Language:Java 711

• elixir-toniq / norm

  Data specification and generation

  elixirproperty-based-testingspecifcation
  Language:Elixir 699

• hedgehogqa / haskell-hedgehog

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

  haskelltestingproperty-based-testingproperty-testingtesting-toolstestquickcheck
  Language:Haskell 694

• flyingmutant / rapid

  Rapid is a modern Go property-based testing library

  golangtestingproperty-based-testingproperty-testingquickcheckfuzzing
  Language:Go 691

• leanovate / gopter

  GOlang Property TestER

  golanggolang-property-testerproperty-based-testing
  Language:Go 614

• Qqwy / elixir-type_check

  TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

  elixir-langtype-checkingproperty-based-testingmetaprogramminghacktoberfest
  Language:Elixir 528

• quicktheories / QuickTheories

  Property based testing for Java 8

  quickcheckjunittestingjava-8property-based-testing
  Language:Java 512

• loiclec / fuzzcheck-rs

  Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

  rustfuzzingproperty-based-testingfuzzercoverage-guided-fuzzingtestinggrammar-fuzzer
  Language:Rust 443

• alfert / propcheck

  Property based Testing for Elixir (based upon PropEr)

  propcheckelixirproperty-based-testingproper
  Language:Elixir 388

• c-cube / qcheck

  QuickCheck inspired property-based testing for OCaml.

  ocamlquickcheckrandomtestingounitproperty-based-testingalcotestrandom-generatormonadic-interface
  Language:OCaml 382

• typelevel / discipline

  Flexible law checking for Scala

  scalatypelevelproperty-based-testing
  Language:Scala 335

• rantly-rb / rantly

  Ruby Imperative Random Data Generator and Quickcheck

  rubyquickcheckproperty-based-testingrandomrspectest-unitminitestrandomnessrandomness-testingrandomness-generation
  Language:Ruby 284

• hedgehogqa / fsharp-hedgehog

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

  fsharptestingproperty-based-testingproperty-testingtesting-toolstestquickcheckcsharpdotnet
  Language:F# 282

• scalaprops / scalaprops

  property based testing library for Scala

  scalaztestingscalascalapropsprngmersenne-twisterscala-jsscala-nativeproperty-based-testingdottyscala3
  Language:Scala 278

• python-jsonschema / hypothesis-jsonschema

  Tools to generate test data from JSON schemata with Hypothesis

  hypothesispythonjson-schemaproperty-based-testing
  Language:Python 274

• hedgehogqa / scala-hedgehog

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

  functional-programmingproperty-based-testingscalatesttesting
  Language:Scala 266

• ohbarye / pbt

  Property-Based Testing tool for Ruby that supports concurrency with Ractor.

  parallelproperty-based-testingractorrubytesting
  Language:Ruby 224

• advancedtelematic / quickcheck-state-machine

  Test monadic programs using state machine based models

  haskell-libraryquickcheckhaskelltestingproperty-based-testing
  Language:Haskell 204
• jsf

  ghandic / jsf

  Creates fake JSON files from a JSON schema

  jsfjson-schemacommandlinefakerproperty-based-testingpythonfastapi
  Language:Python 190

• japgolly / nyaya

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

  scalafpfunctional-programmingproperty-based-testingrandomscalajsproperty-testingrandom-data-generation
  Language:Scala 186

• JamieMason / expect-more

  Curried Type Testing library, and Test Matchers for Jest

  assertionsexpectassertproperty-based-testingtest-matchersjestjest-matchersjasminejasmine-matchersmatcherstestingpredicates
  Language:TypeScript 173

• ecnusse / Kea2

  Fusing automated UI testing with scripts for effectively fuzzing Android apps

  fastbotkeauiautomator2androidlogic-bugsproperty-based-testingauto-assertionscrashing-bugsscripted-based-testingharmonyosopenharmony
  Language:HTML 163

• Bodigrim / smallcheck

  Test your Haskell code by exhaustively checking its properties

  property-based-testingproperty-testingsmallchecktesting
  Language:Haskell 137

• atilaneves / unit-threaded

  Advanced unit test framework for D

  testingunittestunit-testingproperty-based-testingproperty-testingmockingmockdlangdlanguageintegration-testingd
  Language:D 121

• agroce / tstl

  Template Scripting Testing Language tool: automated test generation for Python

  testing-toolspythontstltest-automationtestingrandom-testingtest-generationswarm-testingtest-reductiondelta-debuggingfault-localizationafl-fuzzaflfuzzersfuzzingproperty-basedproperty-based-testing
  Language:Python 106

• Qqwy / ruby-prop_check

  Property Testing library in Ruby

  property-testingquickcheckrubyproperty-based-testing
  Language:Ruby 97