{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:49:24Z","timestamp":1725576564158},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401322"},{"type":"electronic","value":"9783540448334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-44833-4_3","type":"book-chapter","created":{"date-parts":[[2011,1,17]],"date-time":"2011-01-17T19:05:30Z","timestamp":1295291130000},"page":"59-99","source":"Crossref","is-referenced-by-count":11,"title":["Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat"],"prefix":"10.1007","author":[{"given":"Koen","family":"Claessen","sequence":"first","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]},{"given":"Olaf","family":"Chitil","sequence":"additional","affiliation":[]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[]},{"given":"Malcolm","family":"Wallace","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45361-X_11","volume-title":"Implementation of Functional Languages","author":"O. Chitil","year":"2001","unstructured":"Chitil, O., Runciman, C., Wallace, M.: Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 176\u2013193. Springer, Heidelberg (2001)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44854-3_11","volume-title":"Implementation of Functional Languages","author":"O. Chitil","year":"2003","unstructured":"Chitil, O., Runciman, C., Wallace, M.: Transforming Haskell for tracing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670. Springer, Heidelberg (2003)"},{"key":"3_CR3","first-page":"268","volume-title":"International Conference on Functional Programming","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: International Conference on Functional Programming, pp. 268\u2013279. ACM, New York (2000)"},{"key":"3_CR4","volume-title":"Haskell Workshop","author":"K. Claessen","year":"2002","unstructured":"Claessen, K., Hughes, J.: Testing monadic code with QuickCheck. In: Haskell Workshop. ACM, New York (2002)"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"J. Duran","year":"1984","unstructured":"Duran, J., Ntafos, S.: An evaluation of random testing. Transactions on Software Engineering\u00a010(4), 438\u2013444 (1984)","journal-title":"Transactions on Software Engineering"},{"key":"#cr-split#-3_CR6.1","doi-asserted-by":"crossref","unstructured":"Gill, A.: Debugging Haskell by observing intermediate datastructures. Electronic Notes in Theoretical Computer Science, vol.??41(1) (2001);","DOI":"10.1016\/S1571-0661(05)80538-9"},{"key":"#cr-split#-3_CR6.2","unstructured":"Proc. 2000 ACM SIGPLAN Haskell Workshop"},{"key":"3_CR7","first-page":"970","volume-title":"Encyclopedia of Software Engineering","author":"D. Hamlet","year":"1994","unstructured":"Hamlet, D.: Random testing. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering, pp. 970\u2013978. Wiley, Chichester (1994)"},{"issue":"12","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"R. Hamlet","year":"1990","unstructured":"Hamlet, R., Taylor, R.: Partition testing does not inspire confidence. Transactions on Software Engineering\u00a016(12), 1402\u20131411 (1990)","journal-title":"Transactions on Software Engineering"},{"key":"3_CR9","unstructured":"Herington, D.: HUnit 1.0 user\u2019s guide (2002), http:\/\/hunit.sourceforge.net\/HUnit-1.0\/Guide.html"},{"key":"3_CR10","unstructured":"Moss, G.E.: Benchmarking purely functional data structures. PhD thesis, Dept. of Computer Science, University of York, UK (2000)"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S0956796801004063","volume":"11","author":"G.E. Moss","year":"2001","unstructured":"Moss, G.E., Runciman, C.: Inductive benchmarking for purely functional data structures. Journal of Functional Programming\u00a011(5), 525\u2013556 (2001)","journal-title":"Journal of Functional Programming"},{"key":"3_CR12","unstructured":"Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping University, Sweden (1998)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/BFb0055430","volume-title":"Implementation of Functional Languages","author":"J. Sparud","year":"1998","unstructured":"Sparud, J., Runciman, C.: Complete and partial redex trails of functional computations. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 160\u2013177. Springer, Heidelberg (1998)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BFb0033851","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"J. Sparud","year":"1997","unstructured":"Sparud, J., Runciman, C.: Tracing lazy functional computations using redex trails. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 291\u2013308. Springer, Heidelberg (1997)"},{"key":"3_CR15","volume-title":"Haskell Workshop","author":"M. Wallace","year":"2001","unstructured":"Wallace, M., Chitil, O., Brehm, T., Runciman, C.: Multipleview tracing for Haskell: a new Hat. In: Haskell Workshop. ACM, New York (September 2001)"}],"container-title":["Lecture Notes in Computer Science","Advanced Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44833-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T22:53:27Z","timestamp":1559948007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44833-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401322","9783540448334"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44833-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}