Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244488020> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4244488020 abstract "Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffices to obtain good coverage of the definition under test." @default.
- W4244488020 created "2022-05-12" @default.
- W4244488020 creator A5058771102 @default.
- W4244488020 creator A5068339489 @default.
- W4244488020 date "2000-09-01" @default.
- W4244488020 modified "2023-09-30" @default.
- W4244488020 title "QuickCheck" @default.
- W4244488020 cites W1980818933 @default.
- W4244488020 cites W2002032317 @default.
- W4244488020 cites W2006599089 @default.
- W4244488020 cites W2009181019 @default.
- W4244488020 cites W2033361557 @default.
- W4244488020 cites W2049600101 @default.
- W4244488020 cites W2057292961 @default.
- W4244488020 cites W2062897452 @default.
- W4244488020 cites W2071112258 @default.
- W4244488020 cites W2154897437 @default.
- W4244488020 cites W2162661340 @default.
- W4244488020 doi "https://doi.org/10.1145/351240.351266" @default.
- W4244488020 hasPublicationYear "2000" @default.
- W4244488020 type Work @default.
- W4244488020 citedByCount "545" @default.
- W4244488020 countsByYear W42444880202012 @default.
- W4244488020 countsByYear W42444880202013 @default.
- W4244488020 countsByYear W42444880202014 @default.
- W4244488020 countsByYear W42444880202015 @default.
- W4244488020 countsByYear W42444880202016 @default.
- W4244488020 countsByYear W42444880202017 @default.
- W4244488020 countsByYear W42444880202018 @default.
- W4244488020 countsByYear W42444880202019 @default.
- W4244488020 countsByYear W42444880202020 @default.
- W4244488020 countsByYear W42444880202021 @default.
- W4244488020 countsByYear W42444880202022 @default.
- W4244488020 countsByYear W42444880202023 @default.
- W4244488020 crossrefType "proceedings-article" @default.
- W4244488020 hasAuthorship W4244488020A5058771102 @default.
- W4244488020 hasAuthorship W4244488020A5068339489 @default.
- W4244488020 hasConcept C105795698 @default.
- W4244488020 hasConcept C106159264 @default.
- W4244488020 hasConcept C11413529 @default.
- W4244488020 hasConcept C119857082 @default.
- W4244488020 hasConcept C122123141 @default.
- W4244488020 hasConcept C128942645 @default.
- W4244488020 hasConcept C13929819 @default.
- W4244488020 hasConcept C14036430 @default.
- W4244488020 hasConcept C152877465 @default.
- W4244488020 hasConcept C199360897 @default.
- W4244488020 hasConcept C2524010 @default.
- W4244488020 hasConcept C2778514511 @default.
- W4244488020 hasConcept C2780624054 @default.
- W4244488020 hasConcept C28719098 @default.
- W4244488020 hasConcept C33923547 @default.
- W4244488020 hasConcept C41008148 @default.
- W4244488020 hasConcept C42383842 @default.
- W4244488020 hasConcept C78458016 @default.
- W4244488020 hasConcept C86803240 @default.
- W4244488020 hasConceptScore W4244488020C105795698 @default.
- W4244488020 hasConceptScore W4244488020C106159264 @default.
- W4244488020 hasConceptScore W4244488020C11413529 @default.
- W4244488020 hasConceptScore W4244488020C119857082 @default.
- W4244488020 hasConceptScore W4244488020C122123141 @default.
- W4244488020 hasConceptScore W4244488020C128942645 @default.
- W4244488020 hasConceptScore W4244488020C13929819 @default.
- W4244488020 hasConceptScore W4244488020C14036430 @default.
- W4244488020 hasConceptScore W4244488020C152877465 @default.
- W4244488020 hasConceptScore W4244488020C199360897 @default.
- W4244488020 hasConceptScore W4244488020C2524010 @default.
- W4244488020 hasConceptScore W4244488020C2778514511 @default.
- W4244488020 hasConceptScore W4244488020C2780624054 @default.
- W4244488020 hasConceptScore W4244488020C28719098 @default.
- W4244488020 hasConceptScore W4244488020C33923547 @default.
- W4244488020 hasConceptScore W4244488020C41008148 @default.
- W4244488020 hasConceptScore W4244488020C42383842 @default.
- W4244488020 hasConceptScore W4244488020C78458016 @default.
- W4244488020 hasConceptScore W4244488020C86803240 @default.
- W4244488020 hasLocation W42444880201 @default.
- W4244488020 hasOpenAccess W4244488020 @default.
- W4244488020 hasPrimaryLocation W42444880201 @default.
- W4244488020 hasRelatedWork W1530680153 @default.
- W4244488020 hasRelatedWork W1573380057 @default.
- W4244488020 hasRelatedWork W1601811574 @default.
- W4244488020 hasRelatedWork W1671914757 @default.
- W4244488020 hasRelatedWork W2045380064 @default.
- W4244488020 hasRelatedWork W2119717320 @default.
- W4244488020 hasRelatedWork W2132325017 @default.
- W4244488020 hasRelatedWork W2170030045 @default.
- W4244488020 hasRelatedWork W4242126179 @default.
- W4244488020 hasRelatedWork W4244488020 @default.
- W4244488020 isParatext "false" @default.
- W4244488020 isRetracted "false" @default.
- W4244488020 workType "article" @default.