QuicktheoriesProperty based testing for Java 8
Stars: ✭ 483 (+42.06%)
RapidRapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")
Stars: ✭ 213 (-37.35%)
fuzz-rest-apiDerive property based testing fast-check into a fuzzer for REST APIs
Stars: ✭ 38 (-88.82%)
Fast CheckProperty based testing framework for JavaScript (like QuickCheck) written in TypeScript
Stars: ✭ 2,604 (+665.88%)
quickcheckRandomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-94.71%)
efftesterEffect-Driven Compiler Tester for OCaml
Stars: ✭ 37 (-89.12%)
QcheckQuickCheck inspired property-based testing for OCaml.
Stars: ✭ 194 (-42.94%)
Stream dataData generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+75.59%)
ava-fast-checkProperty based testing for AVA based on fast-check
Stars: ✭ 44 (-87.06%)
quick.pyProperty-based testing library for Python
Stars: ✭ 15 (-95.59%)
kitimatA library for generative, property-based testing in TypeScript and Jest.
Stars: ✭ 68 (-80%)
eddErlang Declarative Debugger
Stars: ✭ 20 (-94.12%)
Fsharp HedgehogRelease with confidence, state-of-the-art property testing for .NET.
Stars: ✭ 219 (-35.59%)
RantlyRuby Imperative Random Data Generator and Quickcheck
Stars: ✭ 241 (-29.12%)
DeepstateA unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+77.35%)
QcstmA simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (-85.29%)
Quick check.jsA JS implementation of quick_check
Stars: ✭ 48 (-85.88%)
swagger-conformancePython based tool for testing whether your API conforms to its Swagger schema
Stars: ✭ 51 (-85%)
SwiftcheckQuickCheck for Swift
Stars: ✭ 1,319 (+287.94%)
HypothesisHypothesis is a powerful, flexible, and easy to use library for property-based testing.
Stars: ✭ 5,571 (+1538.53%)
Haskell HedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+71.76%)
Fuzzcheck RsStructure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.
Stars: ✭ 247 (-27.35%)
pbt-frameworksAn overview of property-based testing functionality
Stars: ✭ 29 (-91.47%)
JqwikProperty-Based Testing on the JUnit Platform
Stars: ✭ 265 (-22.06%)
DnstwistDomain name permutation engine for detecting homograph phishing attacks, typo squatting, and brand impersonation
Stars: ✭ 3,124 (+818.82%)
KRFAnalysisCollection of LLVM passes and triage tools for use with the KRF fuzzer
Stars: ✭ 26 (-92.35%)
clusterfuzzliteClusterFuzzLite - Simple continuous fuzzing that runs in CI.
Stars: ✭ 315 (-7.35%)
lplzooFine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-90.59%)
DisciplineFlexible law checking for Scala
Stars: ✭ 286 (-15.88%)
CryptofuzzFuzzing cryptographic libraries. Magic bug printer go brrrr.
Stars: ✭ 262 (-22.94%)
crusherNo description or website provided.
Stars: ✭ 21 (-93.82%)
papers-as-modulesSoftware Papers as Software Modules: Towards a Culture of Reusable Results
Stars: ✭ 18 (-94.71%)
Scalapropsproperty based testing library for Scala
Stars: ✭ 262 (-22.94%)
Jest JunitA Jest reporter that creates compatible junit xml files
Stars: ✭ 307 (-9.71%)
PulsarProtocol Learning and Stateful Fuzzing
Stars: ✭ 285 (-16.18%)
Blog Tutorials⭐️ Codebase for the tutorials on my blog about Java, Spring Boot, AWS, Kotlin and Testing
Stars: ✭ 257 (-24.41%)
tap-xunitTAP to xUnit XML converter
Stars: ✭ 40 (-88.24%)
osgi-testTesting support for OSGi. Includes JUnit 4 and JUnit 5 support and AssertJ support.
Stars: ✭ 22 (-93.53%)
BfuzzFuzzing Browsers
Stars: ✭ 258 (-24.12%)
libfuzzer-covGet actually nice HTML coverage overview on libfuzzer runs
Stars: ✭ 20 (-94.12%)
parameterized-suiteProvides a new Runner for JUnit 4 that combines the features of Suite and Parameterized
Stars: ✭ 19 (-94.41%)
DifuzeFuzzer for Linux Kernel Drivers
Stars: ✭ 285 (-16.18%)
jdbdtJDBDT: Java Database Delta Testing
Stars: ✭ 12 (-96.47%)
VxFuzzSome VxWorks fuzzing examples using Cisco-Kitty and WDBDbg framework
Stars: ✭ 16 (-95.29%)
Fable.JesterFable bindings for jest and friends for delightful Fable testing.
Stars: ✭ 28 (-91.76%)
haskell-schemaA library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Stars: ✭ 16 (-95.29%)
fixture-monkeyLet Fixture Monkey generate test instances including edge cases automatically
Stars: ✭ 177 (-47.94%)
S3mockA simple mock implementation of the AWS S3 API startable as Docker image, JUnit 4 rule, or JUnit Jupiter extension
Stars: ✭ 332 (-2.35%)
FuzzdictsWeb Pentesting Fuzz 字典,一个就够了。
Stars: ✭ 4,013 (+1080.29%)
PropcheckProperty based Testing for Elixir (based upon PropEr)
Stars: ✭ 272 (-20%)
SQL-XSSA few SQL and XSS attack tools
Stars: ✭ 29 (-91.47%)
fuzzingEasy fuzzing with go-fuzz
Stars: ✭ 15 (-95.59%)
profuzzbenchProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
Stars: ✭ 113 (-66.76%)
fuzzing🐰 Tool set for fuzz and stress testing your functions!
Stars: ✭ 22 (-93.53%)