QuickChick
Property tester
A Coq plugin for property-based testing of software systems
Randomized Property-Based Testing Plugin for Coq
259 stars
17 watching
47 forks
Language: Coq
last commit: over 1 year ago
Linked from 2 awesome lists
coqtesting
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 nicoabie/quickcheck | Randomized testing of program properties in Prolog | 22 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
 thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
 typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,415 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 purescript-contrib/purescript-quickcheck-laws | QuickCheck-powered tests for PureScript's core typeclasses | 25 |
 parroty/excheck | A testing library for Elixir programming language | 316 |
 engineeringsoftware/mcoq | Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. | 30 |
 clojure/test.check | A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs. | 1,124 |
 coq-community/coq-ext-lib | A collection of reusable Coq definitions and theorems for building software development tools | 129 |
 cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 351 |
| coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |