quickcheck
by nicoabie
Randomized testing for Prolog à la QuickCheck
AI summary
Property tester
Randomized testing of program properties in Prolog
- stars
- 22
- forks
- 1
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Property tester
A Coq plugin for property-based testing of software systems
Property tester
Automated testing of program properties in Haskell programs.
fscheck/fscheck1.2K
Property tester
Automatically tests .NET programs by generating random test cases based on predefined properties
Property tester
A testing library that generates random data to test program properties in Swift
Property tester
A C++17 testing library for property-based testing using QuickCheck or SmallCheck.
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
Testing library
A C# random testing library with generators and shrinkers for property-based testing of .NET code.
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
Testing library
A testing library for Elixir programming language
Typeclass tests
QuickCheck-powered tests for PureScript's core typeclasses
Property tester
A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs.
Property tester
A property-based testing framework for Elixir
Code simplifier
Automated code review tool with mutation testing to simplify and improve code quality
Property tester
A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions quickcheck.
