Properties (65)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Rabbi
|
| gptkbp:availableIn |
Hackage
|
| gptkbp:basedOn |
property-based testing
|
| gptkbp:developedBy |
gptkb:John_Hughes
|
| gptkbp:firstPublished |
1999
|
| gptkbp:hasExhibition |
testing algorithms
testing concurrency testing data structures testing exceptions testing invariants testing performance testing properties of applicatives testing properties of compilers testing properties of databases testing properties of file systems testing properties of foldables testing properties of functions testing properties of functors testing properties of graphs testing properties of hash tables testing properties of heaps testing properties of interpreters testing properties of lists testing properties of maps testing properties of monads testing properties of network protocols testing properties of operating systems testing properties of priority queues testing properties of programming languages testing properties of queues testing properties of runtime systems testing properties of sequences testing properties of sets testing properties of stacks testing properties of traversables testing properties of trees testing properties of virtual machines testing properties of web applications testing stateful computations testing user-defined types |
| gptkbp:hasFeature |
properties
custom generators test result reporting monadic testing quickCheck function stateful testing arbitrary_instances |
| gptkbp:hasOccupation |
gptkb:QuickCheck
base transformers containers |
| gptkbp:hasPersonnel |
BSD-3-Clause
|
| gptkbp:hasVersion |
2.14.2
|
| https://www.w3.org/2000/01/rdf-schema#label |
QuickCheck-classes
|
| gptkbp:influencedBy |
Erlang_QuickCheck
|
| gptkbp:isCompatibleWith |
gptkb:GHCJS
gptkb:Cabal Stack GHC |
| gptkbp:isPartOf |
Haskell_ecosystem
|
| gptkbp:isUsedBy |
Haskell_developers
|
| gptkbp:language |
gptkb:Haskell
|
| gptkbp:provides |
test case shrinking
|
| gptkbp:supports |
random test case generation
|
| gptkbp:usedFor |
automated testing
|