JqfJQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: ✭ 340 (+794.74%)
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 (+460.53%)
Fast CheckProperty based testing framework for JavaScript (like QuickCheck) written in TypeScript
Stars: ✭ 2,604 (+6752.63%)
QuicktheoriesProperty based testing for Java 8
Stars: ✭ 483 (+1171.05%)
Stream dataData generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+1471.05%)
quickcheckRandomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-52.63%)
eddErlang Declarative Debugger
Stars: ✭ 20 (-47.37%)
kitimatA library for generative, property-based testing in TypeScript and Jest.
Stars: ✭ 68 (+78.95%)
Fsharp HedgehogRelease with confidence, state-of-the-art property testing for .NET.
Stars: ✭ 219 (+476.32%)
Fuzzcheck RsStructure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.
Stars: ✭ 247 (+550%)
efftesterEffect-Driven Compiler Tester for OCaml
Stars: ✭ 37 (-2.63%)
QcstmA simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (+31.58%)
Haskell HedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+1436.84%)
HypothesisHypothesis is a powerful, flexible, and easy to use library for property-based testing.
Stars: ✭ 5,571 (+14560.53%)
RantlyRuby Imperative Random Data Generator and Quickcheck
Stars: ✭ 241 (+534.21%)
swagger-conformancePython based tool for testing whether your API conforms to its Swagger schema
Stars: ✭ 51 (+34.21%)
pbt-frameworksAn overview of property-based testing functionality
Stars: ✭ 29 (-23.68%)
SwiftcheckQuickCheck for Swift
Stars: ✭ 1,319 (+3371.05%)
ava-fast-checkProperty based testing for AVA based on fast-check
Stars: ✭ 44 (+15.79%)
QcheckQuickCheck inspired property-based testing for OCaml.
Stars: ✭ 194 (+410.53%)
DeepstateA unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+1486.84%)
Fable.JesterFable bindings for jest and friends for delightful Fable testing.
Stars: ✭ 28 (-26.32%)
quick.pyProperty-based testing library for Python
Stars: ✭ 15 (-60.53%)
Quick check.jsA JS implementation of quick_check
Stars: ✭ 48 (+26.32%)
piggyTest for spec compatibility and breaking changes.
Stars: ✭ 45 (+18.42%)
Check ItRandomized specification-based testing for Common Lisp. Available through Quicklisp.
Stars: ✭ 41 (+7.89%)
FscheckRandom Testing for .NET
Stars: ✭ 855 (+2150%)
awesome-api-securityA collection of awesome API Security tools and resources. The focus goes to open-source tools and resources that benefit all the community.
Stars: ✭ 2,079 (+5371.05%)
TastyModern and extensible testing framework for Haskell
Stars: ✭ 499 (+1213.16%)
ras-fuzzerRAS(RAndom Subdomain) Fuzzer
Stars: ✭ 42 (+10.53%)
LibAFLAdvanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Stars: ✭ 1,348 (+3447.37%)
JqwikProperty-Based Testing on the JUnit Platform
Stars: ✭ 265 (+597.37%)
SlothSloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emulation
Stars: ✭ 91 (+139.47%)
ke-e假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.
Stars: ✭ 25 (-34.21%)
lplzooFine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-15.79%)
vafVaf is a cross-platform very advanced and fast web fuzzer written in nim
Stars: ✭ 294 (+673.68%)
rackcheckA property-based testing library for Racket.
Stars: ✭ 28 (-26.32%)
haskell-schemaA library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Stars: ✭ 16 (-57.89%)
titanmThis repository contains the tools we used in our research on the Google Titan M chip
Stars: ✭ 149 (+292.11%)
roboxtractorExtract endpoints marked as disallow in robots files to generate wordlists.
Stars: ✭ 40 (+5.26%)
RegaxorA regular expression fuzzer.
Stars: ✭ 35 (-7.89%)
DealDesign by contract for Python with static checker and tests' generation.
Stars: ✭ 164 (+331.58%)
NyayaRandom Data Generation and/or Property Testing in Scala & Scala.JS.
Stars: ✭ 165 (+334.21%)
Expect MoreCurried Type Testing library, and Test Matchers for Jest
Stars: ✭ 124 (+226.32%)
virgoCrowdsourced fuzzing cluster. 🚀
Stars: ✭ 21 (-44.74%)
fuzzing-101-solutionsCompanion repository to the Fuzzing101 with LibAFL series of blog posts.
Stars: ✭ 93 (+144.74%)
SmallcheckTest your Haskell code by exhaustively checking its properties
Stars: ✭ 114 (+200%)
Hypothesis JsonschemaTools to generate test data from JSON schemata with Hypothesis
Stars: ✭ 112 (+194.74%)
FunctionaljavaFunctional programming in Java
Stars: ✭ 1,472 (+3773.68%)
Unit ThreadedAdvanced unit test framework for D
Stars: ✭ 100 (+163.16%)
Elixir Type checkTypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Stars: ✭ 80 (+110.53%)
afl-dyninstAmerican Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
Stars: ✭ 65 (+71.05%)
PropcheckQuickcheck/hypothesis style testing for elisp
Stars: ✭ 51 (+34.21%)
SpecData specification conformance and generation for Elixir
Stars: ✭ 72 (+89.47%)