{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:25Z","timestamp":1772164045051,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swedish Foundation for Strategic Research","award":["RIT17-0023"],"award-info":[{"award-number":["RIT17-0023"]}]},{"name":"Vetenskapr\u00e5det"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,17]]},"DOI":"10.1145\/3242744.3242747","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T08:11:39Z","timestamp":1537258299000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Branching processes for QuickCheck generators"],"prefix":"10.1145","author":[{"given":"Agust\u00edn","family":"Mista","sequence":"first","affiliation":[{"name":"Universidad Nacional de Rosario, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Russo","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.23"},{"key":"e_1_3_2_1_3_1","volume-title":"In Proc. of IEEE International Conference on Software Testing, Verification and Validation, ICST Workshops.","author":"Arts T.","unstructured":"T. Arts , J. Hughes , U. Norell , and H. Svensson . 2015. Testing AUTOSAR software with QuickCheck . In In Proc. of IEEE International Conference on Software Testing, Verification and Validation, ICST Workshops. T. Arts, J. Hughes, U. Norell, and H. Svensson. 2015. Testing AUTOSAR software with QuickCheck. In In Proc. of IEEE International Conference on Software Testing, Verification and Validation, ICST Workshops."},{"key":"e_1_3_2_1_4_1","volume-title":"Boltzmann Samplers for Closed Simply-Typed Lambda Terms. In In Proc. of International Symposium on Practical Aspects of Declarative Languages. ACM.","author":"Bendkowski M.","unstructured":"M. Bendkowski , K. Grygiel , and P. Tarau . 2017 . Boltzmann Samplers for Closed Simply-Typed Lambda Terms. In In Proc. of International Symposium on Practical Aspects of Declarative Languages. ACM. M. Bendkowski, K. Grygiel, and P. Tarau. 2017. Boltzmann Samplers for Closed Simply-Typed Lambda Terms. In In Proc. of International Symposium on Practical Aspects of Declarative Languages. ACM."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(96)01103-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of the Functional and Logic Programming FLOPS.","author":"Claessen K.","unstructured":"K. Claessen , J. Dureg\u00e5rd , and M. H. Palka . 2014. Generating Constrained Random Data with Uniform Distribution . In Proc. of the Functional and Logic Programming FLOPS. K. Claessen, J. Dureg\u00e5rd, and M. H. Palka. 2014. Generating Constrained Random Data with Uniform Distribution. In Proc. of the Functional and Logic Programming FLOPS."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548304006315"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364515"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of International Symp. on Software Reliability Engineering (ISSRE). IEEE.","author":"Feldt R.","unstructured":"R. Feldt and S. Poulding . 2013. Finding test data with specific properties via metaheuristic search . In Proc. of International Symp. on Software Reliability Engineering (ISSRE). IEEE. R. Feldt and S. Poulding. 2013. Finding test data with specific properties via metaheuristic search. In Proc. of International Symp. on Software Reliability Engineering (ISSRE). IEEE."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976017"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.09.018"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"P. Haccou P. Jagers and V. Vatutin. 2005. Branching processes. Variation growth and extinction of populations. Cambridge University Press.  P. Haccou P. Jagers and V. Vatutin. 2005. Branching processes. Variation growth and extinction of populations. Cambridge University Press.","DOI":"10.1017\/CBO9780511629136"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the Int. Conference on Software Testing, Verification and Validation, ICST.","author":"Hughes J.","unstructured":"J. Hughes , C. Pierce B, T. Arts , and U. Norell . 2016. Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service . In Proc. of the Int. Conference on Software Testing, Verification and Validation, ICST. J. Hughes, C. Pierce B, T. Arts, and U. Norell. 2016. Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. In Proc. of the Int. Conference on Software Testing, Verification and Validation, ICST."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896921.2896928"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009868"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158133"},{"key":"e_1_3_2_1_20_1","unstructured":"M. Zalewski. 2010. American Fuzzy Lop: a security-oriented fuzzer. http:\/\/lcamtuf.coredump.cx\/afl\/ . (2010).  M. Zalewski. 2010. American Fuzzy Lop: a security-oriented fuzzer. http:\/\/lcamtuf.coredump.cx\/afl\/ . (2010)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110259"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"A. Mista A. Russo and J. Hughes. 2018. Branching Processes for QuickCheck Generators (extended version). https:\/\/bitbucket.org\/ agustinmista\/dragen\/downloads\/full-paper.pdf . (2018).  A. Mista A. Russo and J. Hughes. 2018. Branching Processes for QuickCheck Generators (extended version). https:\/\/bitbucket.org\/ agustinmista\/dragen\/downloads\/full-paper.pdf . (2018).","DOI":"10.1145\/3242744.3242747"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982615"},{"key":"e_1_3_2_1_26_1","volume-title":"Automated Random Testing in Multiple Dispatch Languages. IEEE International Conference on Software Testing, Verification and Validation (ICST)","author":"Poulding S. M.","year":"2017","unstructured":"S. M. Poulding and R. Feldt . 2017 . Automated Random Testing in Multiple Dispatch Languages. IEEE International Conference on Software Testing, Verification and Validation (ICST) ( 2017 ). S. M. Poulding and R. Feldt. 2017. Automated Random Testing in Multiple Dispatch Languages. IEEE International Conference on Software Testing, Verification and Validation (ICST) (2017)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636528"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2307\/2841222"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","location":"St. Louis MO USA","acronym":"ICFP '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242747","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242744.3242747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:22Z","timestamp":1750193842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":28,"alternative-id":["10.1145\/3242744.3242747","10.1145\/3242744"],"URL":"https:\/\/doi.org\/10.1145\/3242744.3242747","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299711.3242747","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}