quickcheck
Property tester
Randomized testing of program properties in Prolog
Randomized testing for Prolog à la QuickCheck
22 stars
3 watching
1 forks
Language: Prolog
last commit: over 5 years ago
Linked from 1 awesome list
prologproperty-based-testingquickcheckswi-prolog
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
 quickchick/quickchick | A Coq plugin for property-based testing of software systems | 259 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
 typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,415 |
 thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 anthonylloyd/cscheck | A C# random testing library with generators and shrinkers for property-based testing of .NET code. | 164 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 parroty/excheck | A testing library for Elixir programming language | 316 |
 purescript-contrib/purescript-quickcheck-laws | QuickCheck-powered tests for PureScript's core typeclasses | 25 |
 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 |
 alfert/propcheck | A property-based testing framework for Elixir | 377 |
 mbj/mutant | Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
 scalaprops/scalaprops | A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. | 277 |