{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:14:12Z","timestamp":1784182452194,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:00:00Z","timestamp":1222300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,9,25]]},"DOI":"10.1145\/1411286.1411292","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T09:03:19Z","timestamp":1222765399000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":112,"title":["Smallcheck and lazy smallcheck"],"prefix":"10.1145","author":[{"given":"Colin","family":"Runciman","sequence":"first","affiliation":[{"name":"University of York, York, England UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Naylor","sequence":"additional","affiliation":[{"name":"University of York, York, England UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fredrik","family":"Lindblad","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,9,25]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177899"},{"key":"e_1_3_2_2_2_1","unstructured":"Lennart Augustsson. Overloaded booleans. http:\/\/augustss.blogspot.com\/ 2007.  Lennart Augustsson. Overloaded booleans. http:\/\/augustss.blogspot.com\/ 2007."},{"key":"e_1_3_2_2_3_1","volume-title":"Introduction to Functional Programming Using Haskell","author":"Bird Richard S.","year":"1998","unstructured":"Richard S. Bird . Introduction to Functional Programming Using Haskell . Prentice-Hall , 1998 . Richard S. Bird. Introduction to Functional Programming Using Haskell. Prentice-Hall, 1998."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788446.1788479"},{"key":"e_1_3_2_2_5_1","first-page":"59","volume-title":"AFP'02","author":"Claessen K.","year":"2002","unstructured":"K. Claessen , C. Runciman , O. Chitil , R. J. M. Hughes , and M. Wallace . Testing and tracing lazy functional programs using QuickCheck and Hat . In AFP'02 , pages 59 -- 99 . Springer LNCS 2638, 2002 . K. Claessen, C. Runciman, O. Chitil, R. J. M. Hughes, and M. Wallace. Testing and tracing lazy functional programs using QuickCheck and Hat. In AFP'02, pages 59--99. Springer LNCS 2638, 2002."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_2_8_1","volume-title":"March","author":"Hanus Michael","year":"2006","unstructured":"Michael Hanus . Curry: An Integrated Functional Logic Language. Language report, available online at http:\/\/www.informatik.uni-kiel.de\/~curry,\/report.html , March 2006 . Michael Hanus. Curry: An Integrated Functional Logic Language. Language report, available online at http:\/\/www.informatik.uni-kiel.de\/~curry,\/report.html, March 2006."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004300"},{"key":"e_1_3_2_2_10_1","volume-title":"Software abstractions: logic, language and analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . Software abstractions: logic, language and analysis . The MIT Press , 2006 . Daniel Jackson. Software abstractions: logic, language and analysis. The MIT Press, 2006."},{"key":"e_1_3_2_2_11_1","first-page":"2670","article-title":"Gast: Generic automated software testing. In IFL'02, pages 84--100","author":"Koopman Pieter W. M.","year":"2002","unstructured":"Pieter W. M. Koopman , Artem Alimarine , Jan Tretmans , and Marinus J. Plasmeijer . Gast: Generic automated software testing. In IFL'02, pages 84--100 . LNCS 2670 , 2002 . Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, and Marinus J. Plasmeijer. Gast: Generic automated software testing. In IFL'02, pages 84--100. LNCS 2670, 2002.","journal-title":"LNCS"},{"key":"e_1_3_2_2_12_1","first-page":"105","volume-title":"TFP'07","volume":"8","author":"Lindblad Fredrik","year":"2008","unstructured":"Fredrik Lindblad . Property directed generation of first-order test data . In TFP'07 , volume 8 , pages 105 -- 123 . Intellect , 2008 . Fredrik Lindblad. Property directed generation of first-order test data. In TFP'07, volume 8, pages 105--123. Intellect, 2008."},{"key":"e_1_3_2_2_13_1","volume-title":"Journal of Functional and Logic Programming","author":"Lloyd John W.","year":"1999","unstructured":"John W. Lloyd . Programming in an integrated functional and logic language . Journal of Functional and Logic Programming , 1999 (3). John W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999 (3)."},{"key":"e_1_3_2_2_14_1","unstructured":"Wolfgang Lux. The Munster Curry Compiler. http:\/\/danae.uni-muenster.de\/~lux\/curry\/ 2003.  Wolfgang Lux. The Munster Curry Compiler. http:\/\/danae.uni-muenster.de\/~lux\/curry\/ 2003."},{"key":"e_1_3_2_2_15_1","unstructured":"Neil Mitchell and Stefan O'Rear. Derive - project home page. http:\/\/www.cs.york.ac.uk\/~ndm\/derive\/ March 2007.  Neil Mitchell and Stefan O'Rear. Derive - project home page. http:\/\/www.cs.york.ac.uk\/~ndm\/derive\/ March 2007."},{"key":"e_1_3_2_2_16_1","first-page":"15","volume-title":"TFP'05","volume":"6","author":"Mitchell Neil","year":"2007","unstructured":"Neil Mitchell and Colin Runciman . A static checker for safe pattern matching in Haskell . In TFP'05 , volume 6 , pages 15 -- 30 . Intellect , 2007 . Neil Mitchell and Colin Runciman. A static checker for safe pattern matching in Haskell. In TFP'05, volume 6, pages 15--30. Intellect, 2007."},{"key":"e_1_3_2_2_17_1","volume-title":"IFL'07, page to appear. LNCS","author":"Naylor Matthew","year":"2008","unstructured":"Matthew Naylor and Colin Runciman . The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA . In IFL'07, page to appear. LNCS , 2008 . Matthew Naylor and Colin Runciman. The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA. In IFL'07, page to appear. LNCS, 2008."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2007.11"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003494"},{"key":"e_1_3_2_2_20_1","volume-title":"The Implementation of Functional Programming Languages. Computer Science","author":"Jones Simon Peyton","year":"1987","unstructured":"Simon Peyton Jones . The Implementation of Functional Programming Languages. Computer Science . Prentice-Hall , 1987 . Simon Peyton Jones. The Implementation of Functional Programming Languages. Computer Science. Prentice-Hall, 1987."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301637"},{"key":"e_1_3_2_2_22_1","volume-title":"A new implementation technique for applicative languages. Software - Practice and Experience, 9(1):31--49","author":"Turner D. A.","year":"1979","unstructured":"D. A. Turner . A new implementation technique for applicative languages. Software - Practice and Experience, 9(1):31--49 , 1979 . D. A. Turner. A new implementation technique for applicative languages. Software - Practice and Experience, 9(1):31--49, 1979."}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","location":"Victoria BC Canada","acronym":"ICFP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the first ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411286.1411292","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411286.1411292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:47Z","timestamp":1750238987000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411286.1411292"}},"subtitle":["automatic exhaustive testing for small values"],"short-title":[],"issued":{"date-parts":[[2008,9,25]]},"references-count":22,"alternative-id":["10.1145\/1411286.1411292","10.1145\/1411286"],"URL":"https:\/\/doi.org\/10.1145\/1411286.1411292","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543134.1411292","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,9,25]]},"assertion":[{"value":"2008-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}