Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146194600> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2146194600 abstract "This paper presents a new lightweight technique for automatically generating high coverage test suites for Haskell library code. Our approach combines four main features to increase test coverage: (1) automatically inferring the constructors and functions needed to generate test data; (2) using needed narrowing to take advantage of Haskell's lazy evaluation semantics; (3) inspecting elements inside returned data structures through the use of case statements, and (4) efficiently handling polymorphism by lazily instantiating all possible instances.We have implemented this technique in IRULAN, a fully automatic tool for systematic black-box unit testing of Haskell library code. We have designed IRULAN to generate high coverage test suites and detect common programming errors in the process. We have applied IRULAN to over 50 programs from the spectral and real suites of the nofib benchmark and show that it can effectively generate high-coverage test suites---exhibiting 70.83% coverage for spectral and 59.78% coverage for real---and find errors in these programs.Our techniques are general enough to be useful for several other types of testing, and we also discuss our experience of using IRULAN for property and regression testing." @default.
- W2146194600 created "2016-06-24" @default.
- W2146194600 creator A5012006988 @default.
- W2146194600 creator A5053355200 @default.
- W2146194600 creator A5060800643 @default.
- W2146194600 date "2011-07-17" @default.
- W2146194600 modified "2023-09-26" @default.
- W2146194600 title "High coverage testing of Haskell programs" @default.
- W2146194600 cites W1992085465 @default.
- W2146194600 cites W2002934700 @default.
- W2146194600 cites W2029074074 @default.
- W2146194600 cites W2029976661 @default.
- W2146194600 cites W2074789981 @default.
- W2146194600 cites W2107751709 @default.
- W2146194600 cites W2120171626 @default.
- W2146194600 cites W2139474931 @default.
- W2146194600 cites W2171683519 @default.
- W2146194600 cites W4244488020 @default.
- W2146194600 cites W4253606798 @default.
- W2146194600 cites W4255410821 @default.
- W2146194600 doi "https://doi.org/10.1145/2001420.2001465" @default.
- W2146194600 hasPublicationYear "2011" @default.
- W2146194600 type Work @default.
- W2146194600 sameAs 2146194600 @default.
- W2146194600 citedByCount "2" @default.
- W2146194600 countsByYear W21461946002013 @default.
- W2146194600 countsByYear W21461946002016 @default.
- W2146194600 crossrefType "proceedings-article" @default.
- W2146194600 hasAuthorship W2146194600A5012006988 @default.
- W2146194600 hasAuthorship W2146194600A5053355200 @default.
- W2146194600 hasAuthorship W2146194600A5060800643 @default.
- W2146194600 hasConcept C199360897 @default.
- W2146194600 hasConcept C2780624054 @default.
- W2146194600 hasConcept C41008148 @default.
- W2146194600 hasConcept C42383842 @default.
- W2146194600 hasConceptScore W2146194600C199360897 @default.
- W2146194600 hasConceptScore W2146194600C2780624054 @default.
- W2146194600 hasConceptScore W2146194600C41008148 @default.
- W2146194600 hasConceptScore W2146194600C42383842 @default.
- W2146194600 hasLocation W21461946001 @default.
- W2146194600 hasOpenAccess W2146194600 @default.
- W2146194600 hasPrimaryLocation W21461946001 @default.
- W2146194600 hasRelatedWork W1481383228 @default.
- W2146194600 hasRelatedWork W1587224678 @default.
- W2146194600 hasRelatedWork W1601811574 @default.
- W2146194600 hasRelatedWork W1607469218 @default.
- W2146194600 hasRelatedWork W2048706733 @default.
- W2146194600 hasRelatedWork W2177866842 @default.
- W2146194600 hasRelatedWork W2192862863 @default.
- W2146194600 hasRelatedWork W2760941369 @default.
- W2146194600 hasRelatedWork W4238823939 @default.
- W2146194600 hasRelatedWork W4253461608 @default.
- W2146194600 isParatext "false" @default.
- W2146194600 isRetracted "false" @default.
- W2146194600 magId "2146194600" @default.
- W2146194600 workType "article" @default.