{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T22:31:37Z","timestamp":1778279497402,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540696087","type":"print"},{"value":"9783540696117","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69611-7_1","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T09:40:18Z","timestamp":1177580418000},"page":"1-32","source":"Crossref","is-referenced-by-count":66,"title":["QuickCheck Testing for Fun and Profit"],"prefix":"10.1007","author":[{"given":"John","family":"Hughes","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Arts, T., Claessen, K., Hughes, J., Svensson, H.: Testing implementations of formally verified algorithms. In: Proceedings of the 5th Conference on Software Engineering Research and Practice, Sweden (2005)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S., Ustuner, A.: Thorough static analysis of device drivers. In: EuroSys 2006 (2006)","DOI":"10.1145\/1217935.1217943"},{"key":"1_CR3","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"2004","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison Wesley Professional, Reading (2004)","edition":"2"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"ICFP 2000: Proceedings of the fifth ACM SIGPLAN 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: ICFP 2000: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pp. 268\u2013279. ACM Press, New York (2000)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/581690.581696","volume-title":"Haskell 2002: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell","author":"K. Claessen","year":"2002","unstructured":"Claessen, K., Hughes, J.: Testing monadic code with quickcheck. In: Haskell 2002: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, pp. 65\u201377. ACM Press, New York (2002)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Specification-based testing with QuickCheck. In: Gibbons, J., de Moor, O. (eds.) Fun of Programming, Cornerstones of Computing, Palgrave (March 2003)","DOI":"10.1007\/978-1-349-91518-7_2"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_3","volume-title":"Advanced Functional Programming","author":"K. Claessen","year":"2003","unstructured":"Claessen, K., Runciman, C., Chitil, O., Hughes, J., Wallace, M.: Testing and tracing lazy functional programs using quickcheck and hat. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638. Springer, Heidelberg (2003)"},{"key":"1_CR8","unstructured":"Fewster, M., Graham, D.: Software test automation: effective use of test execution tools. ACM Press\/Addison-Wesley Publishing Co., New York (1999)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), vol.\u00a037, pp. 234\u2013245 (June 2002)","DOI":"10.1145\/512529.512558"},{"key":"1_CR10","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)"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/347324.348938","volume-title":"ISSTA 2000: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis","author":"R. Hildebrandt","year":"2000","unstructured":"Hildebrandt, R., Zeller, A.: Simplifying failure-inducing input. In: ISSTA 2000: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, pp. 135\u2013145. ACM Press, New York (2000)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: POPL, pp. 42\u201354 (2006)","DOI":"10.1145\/1111037.1111042"},{"key":"1_CR13","unstructured":"Marciniak, J., Vienneau, R.: Software engineering baselines. Technical report, Data and Analysis Center for Software (1996), http:\/\/www.dacs.dtic.mil\/techs\/baselines\/"},{"issue":"12","key":"1_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/96267.96279","volume":"33","author":"B.P. Miller","year":"1990","unstructured":"Miller, B.P., Fredriksen, L., So, B.: An empirical study of the reliability of unix utilities. Commun. ACM\u00a033(12), 32\u201344 (1990)","journal-title":"Commun. ACM"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Okasaki, C.: Fun with binary heap trees. In: Gibbons, J., de Moor, O. (eds.) Fun of Programming. Cornerstones of Computing, Palgrave, pp. 1\u201316 (March 2003)","DOI":"10.1007\/978-1-349-91518-7_1"},{"key":"1_CR16","unstructured":"Telecommunication\u00a0Standardization sector\u00a0of ITU. ITU-T Rec. H248.1, gateway control protocol. Technical report, International Telecommunication Union (September 2005)"},{"key":"1_CR17","unstructured":"Stoller, S.: Leader election in distributed systems with crash failures. Technical Report 169, Indiana University (1997)"},{"issue":"12","key":"1_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/636517.636525","volume":"37","author":"U. Wiger","year":"2002","unstructured":"Wiger, U., Ask, G., Boortz, K.: World-class product certification using erlang. SIGPLAN Not\u00a037(12), 25\u201334 (2002)","journal-title":"SIGPLAN Not"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69611-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,12]],"date-time":"2021-08-12T22:28:04Z","timestamp":1628807284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69611-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540696087","9783540696117"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69611-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}