{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:54Z","timestamp":1740099054098,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319897189"},{"type":"electronic","value":"9783319897196"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89719-6_4","type":"book-chapter","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T14:44:21Z","timestamp":1524062661000},"page":"59-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["QuickChecking Patricia Trees"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6506-5468","authenticated-orcid":false,"given":"Jan","family":"Midtgaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Arts, T., Castro, L.M.: Model-based testing of data types with side effects. In: Rikitake, K., Stenman, E. (eds.) Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, Tokyo, Japan, 23 September 2011, pp. 30\u201338 (2011)","DOI":"10.1145\/2034654.2034662"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., Castro, L.M., Hughes, J.: Testing Erlang data types with Quviq QuickCheck. In: Teoh, S.T., Horv\u00e1th, Z. (eds.) Proceedings of the 7th ACM SIGPLAN Workshop on Erlang, Victoria, BC, Canada, 27 September 2008, pp. 1\u20138 (2008)","DOI":"10.1145\/1411273.1411275"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-20398-5_33","volume-title":"NASA Formal Methods","author":"C Calcagno","year":"2011","unstructured":"Calcagno, C., Distefano, D.: Infer: an automatic program verifier for memory safety of C programs. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 459\u2013465. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20398-5_33"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: Wadler, P. (ed.) Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), Montr\u00e9al, Canada, pp. 53\u201364 (2000)","DOI":"10.1145\/351240.351266"},{"issue":"12","key":"4_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/636517.636527","volume":"37","author":"K Claessen","year":"2002","unstructured":"Claessen, K., Hughes, J.: Testing monadic code with QuickCheck. SIGPLAN Not. 37(12), 47\u201359 (2002)","journal-title":"SIGPLAN Not."},{"key":"4_CR6","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. The MIT Press, Cambridge (2009)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-662-46669-8_16","volume-title":"Programming Languages and Systems","author":"B Fetscher","year":"2015","unstructured":"Fetscher, B., Claessen, K., Pa\u0142ka, M., Hughes, J., Findler, R.B.: Making random judgments: automatically generating well-typed terms from the definition of a type-system. In: Vitek, J. (ed.) ESOP 2015. LNCS, vol. 9032, pp. 383\u2013405. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46669-8_16"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Hri\u0163cu, C., Hughes, J., Pierce, B.C., Spector-Zabusky, A., Vytiniotis, D., de Amorim, A.A., Lampropoulos, L.: Testing noninterference, quickly. In: Morrisett, G., Uustalu, T. (eds.) Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), Boston, MA, pp. 455\u2013468, September 2013","DOI":"10.1145\/2544174.2500574"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18070-5_7","volume-title":"Formal Verification of Object-Oriented Software","author":"L Hubert","year":"2011","unstructured":"Hubert, L., Barr\u00e9, N., Besson, F., Demange, D., Jensen, T., Monfort, V., Pichardie, D., Turpin, T.: Sawja: static analysis workshop for Java. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol. 6528, pp. 92\u2013106. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18070-5_7"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-17685-2_6","volume-title":"Central European Functional Programming School","author":"J Hughes","year":"2010","unstructured":"Hughes, J.: Software testing with QuickCheck. In: Horv\u00e1th, Z., Plasmeijer, R., Zs\u00f3k, V. (eds.) CEFP 2009. LNCS, vol. 6299, pp. 183\u2013223. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17685-2_6"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-319-30936-1_9","volume-title":"A List of Successes That Can Change the World","author":"J Hughes","year":"2016","unstructured":"Hughes, J.: Experiences with QuickCheck: testing the hard stuff and staying sane. In: Lindley, S., McBride, C., Trinder, P., Sannella, D. (eds.) A List of Successes That Can Change the World. LNCS, vol. 9600, pp. 169\u2013186. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30936-1_9"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Hughes, J., Norell, U., Smallbone, N., Arts, T.: Find more bugs with QuickCheck! In: Budnik, C.J., Fraser, G., Lonetti, F. (eds.) Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, 14\u201315 May 2016, pp. 71\u201377. ACM (2016)","DOI":"10.1145\/2896921.2896928"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Koopman, P.W.M., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003. Trends in Functional Programming, vol. 4, Edinburgh, United Kingdom, 11\u201312 September 2003, pp. 111\u2013129. Intellect (2005)","DOI":"10.2307\/j.ctv36xvxxx.11"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-22941-1_9","volume-title":"Trends in Functional Programming","author":"P Koopman","year":"2011","unstructured":"Koopman, P., Plasmeijer, R.: Testing with functional reference implementations. In: Page, R., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) TFP 2010. LNCS, vol. 6546, pp. 134\u2013149. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22941-1_9"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P Koopman","year":"2003","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: generic automated software testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 84\u2013100. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44854-3_6"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-34407-7_8","volume-title":"Implementation and Application of Functional Languages","author":"P Koopman","year":"2012","unstructured":"Koopman, P., Achten, P., Plasmeijer, R.: Model based testing with logical properties versus state machines. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol. 7257, pp. 116\u2013133. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34407-7_8"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Midtgaard, J., M\u00f8ller, A.: Quickchecking static analysis properties. In: Fraser, G., Marinov, D. (eds.) 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 2015, pp. 1\u201310. IEEE Computer Society (2015)","DOI":"10.1109\/ICST.2015.7102603"},{"issue":"ICFP","key":"4_CR18","first-page":"15:1","volume":"1","author":"J Midtgaard","year":"2017","unstructured":"Midtgaard, J., Justesen, M.N., Kasting, P., Nielson, F., Nielson, H.R.: Effect-driven quickchecking of compilers. PACMPL 1(ICFP), 15:1\u201315:23 (2017)","journal-title":"PACMPL"},{"issue":"4","key":"4_CR19","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/321479.321481","volume":"15","author":"DR Morrison","year":"1968","unstructured":"Morrison, D.R.: PATRICIA\u2013practical algorithm to retrieve information coded in alphanumeric. J. ACM 15(4), 514\u2013534 (1968)","journal-title":"J. ACM"},{"key":"4_CR20","volume-title":"ScalaCheck: The Definitive Guide","author":"R Nilsson","year":"2014","unstructured":"Nilsson, R.: ScalaCheck: The Definitive Guide. Artima, Mountain View (2014)"},{"key":"4_CR21","unstructured":"Okasaki, C., Gill, A.: Fast mergeable integer maps. In: Morrisett, G. (ed.) ML 1998: Proceedings of the 1998 ACM SIGPLAN Workshop on ML, pp. 77\u201386, September 1998"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Pa\u0142ka, M.H., Claessen, K., Russo, A., Hughes, J.: Testing an optimising compiler by generating random lambda terms. In: Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, pp. 91\u201397 (2011)","DOI":"10.1145\/1982595.1982615"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Pike, L.: SmartCheck: automatic and efficient counterexample reduction and generalization. In: Swierstra, W. (ed.) Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, Gothenburg, Sweden, 4\u20135 September 2014, pp. 53\u201364 (2014)","DOI":"10.1145\/2633357.2633365"},{"key":"4_CR24","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of the 25th ACM National Conference, Boston, Massachusetts, pp. 717\u2013740 (1972). Reprinted in Higher-Order and Symbolic Computation 11(4), 363\u2013397, 1998, with a foreword Reynolds (1998)"},{"issue":"4","key":"4_CR25","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1023\/A:1010075320153","volume":"11","author":"JC Reynolds","year":"1998","unstructured":"Reynolds, J.C.: Definitional interpreters revisited. Hig.-Order Symb. Comput. 11(4), 355\u2013361 (1998)","journal-title":"Hig.-Order Symb. Comput."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Sergey, I.: Experience report: growing and shrinking polygons for random testing of computational geometry algorithms. In: Garrigue, J., Keller, G., Sumii, E. (eds.) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), pp. 193\u2013199 (2016)","DOI":"10.1145\/2951913.2951927"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"St-Amour, V., Toronto, N.: Experience report: applying random testing to a base type environment. In: Morrisett, G., Uustalu, T. (eds.) Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), Boston, MA, pp. 351\u2013356, September 2013","DOI":"10.1145\/2500365.2500616"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89719-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T05:25:51Z","timestamp":1693632351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89719-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319897189","9783319897196"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89719-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}