QuickCheck

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:author gptkb:John_Hughes
Koen Claessen
gptkbp:category software testing
Haskell libraries
gptkbp:designedFor property-based testing
gptkbp:developedBy gptkb:Haskell
gptkbp:firstReleased 2000
https://www.w3.org/2000/01/rdf-schema#label QuickCheck
gptkbp:influenced gptkb:ScalaCheck
Hypothesis
FsCheck
PropEr
Test.QuickCheck (Haskell module)
jqwik
gptkbp:language gptkb:Haskell
gptkbp:license gptkb:BSD_3-Clause
gptkbp:openSource true
gptkbp:usedFor finding counterexamples
automatic test case generation
randomized testing
gptkbp:website https://hackage.haskell.org/package/QuickCheck
gptkbp:bfsParent gptkb:Scalacheck
gptkbp:bfsLayer 7