Properties (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
testing framework
|
| gptkbp:canBe |
edge cases
|
| gptkbp:developedBy |
gptkb:John_Hughes
|
| gptkbp:firstPublished |
1999
|
| gptkbp:hasAmenities |
online documentation
|
| gptkbp:hasExhibition |
gptkb:QuickCheck-classes
|
| gptkbp:hasFeature |
test case generation
automatic test case generation |
| gptkbp:hasOccupation |
active community
|
| gptkbp:hasTheme |
available tutorials
|
| gptkbp:hasVersion |
2.14.2
|
| https://www.w3.org/2000/01/rdf-schema#label |
QuickCheck
|
| gptkbp:influencedBy |
random testing
|
| gptkbp:integration |
CI/CD pipelines
|
| gptkbp:isAttendedBy |
open source projects
by many developers |
| gptkbp:isAvailableIn |
Hackage
Hackage repository Haskell users |
| gptkbp:isBasedOn |
randomness
|
| gptkbp:isCelebratedFor |
QuickCheck-2.14.2
|
| gptkbp:isCompatibleWith |
GHC
QuickCheck-2.14.2 |
| gptkbp:isConsidered |
best practice
a powerful tool a standard in testing |
| gptkbp:isInfluencedBy |
software testing methodologies
|
| gptkbp:isIntegratedWith |
other testing tools
|
| gptkbp:isKnownFor |
property testing
|
| gptkbp:isLocatedIn |
Haskell_programming_language
|
| gptkbp:isPartOf |
software development process
Haskell_libraries Haskell_ecosystem Haskell_testing_tools Haskell_testing_framework |
| gptkbp:isPopularIn |
academic research
|
| gptkbp:isRecognizedBy |
software engineers
for its effectiveness |
| gptkbp:isSimilarTo |
JUnit
|
| gptkbp:isSuitableFor |
functional programming
|
| gptkbp:isSupportedBy |
Haskell_community
|
| gptkbp:isUsedBy |
ensure code correctness
validate properties Haskell_developers |
| gptkbp:isUsedFor |
regression testing
testing algorithms |
| gptkbp:isUsedIn |
software testing
Haskell_projects |
| gptkbp:isUtilizedFor |
software companies
in academic settings |
| gptkbp:isVisitedBy |
open source license
|
| gptkbp:language |
gptkb:Haskell
|
| gptkbp:mayHave |
arbitrary data types
|
| gptkbp:provides |
test case shrinking
|
| gptkbp:supports |
generating random test cases
|
| gptkbp:uses |
property-based testing
|