{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:11Z","timestamp":1750183811794,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T00:00:00Z","timestamp":1693353600000},"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":[[2023,8,30]]},"DOI":"10.1145\/3609026.3609733","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T20:11:50Z","timestamp":1693512710000},"page":"97-109","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["falsify: Internal Shrinking Reimagined for Haskell"],"prefix":"10.1145","author":[{"given":"Edsko","family":"de Vries","sequence":"first","affiliation":[{"name":"Well-Typed LLP, UK"}]}],"member":"320","published-online":{"date-parts":[[2023,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"B. K. Aichernig and R. Schumi. 2016. Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. In ICSTW \u201916. https:\/\/doi.org\/10.1109\/ICSTW.2016.24 10.1109\/ICSTW.2016.24","DOI":"10.1109\/ICSTW.2016.24"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"J. H. Andrews S. Haldar Yong Lei and Felix Chun Hang Li. 2006. Tool Support for Randomized Unit Testing. In RT \u201906. ACM. isbn:159593457X https:\/\/doi.org\/10.1145\/1145735.1145741 10.1145\/1145735.1145741","DOI":"10.1145\/1145735.1145741"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"T. Arts J. Hughes J. Johansson and U. Wiger. 2006. Testing Telecoms Software with Quviq QuickCheck. In ERLANG \u201906. ACM. isbn:1595934901 https:\/\/doi.org\/10.1145\/1159789.1159792 10.1145\/1159789.1159792","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"K. Claessen. 2012. Shrinking and Showing Functions. In Haskell \u201912. ACM. isbn:9781450315746 https:\/\/doi.org\/10.1145\/2430532.2364516 10.1145\/2430532.2364516","DOI":"10.1145\/2430532.2364516"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351266"},{"volume-title":"The Coq Workshop.","author":"Denes M.","key":"e_1_3_2_1_6_1","unstructured":"M. Denes, C. Hritcu, L. Lampropoulos, Z. Paraskevopoulou, and B. C. Pierce. 2014. QuickChick: Property-based testing for Coq. In The Coq Workshop."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563291"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44854-3_6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"A. L\u00f6scher and K. Sagonas. 2017. Targeted Property-Based Testing. In ISSTA \u201917. ACM. isbn:9781450350761 https:\/\/doi.org\/10.1145\/3092703.3092711 10.1145\/3092703.3092711","DOI":"10.1145\/3092703.3092711"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"D. R. MacIver and A. F. Donaldson. 2020. Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer. In ECOOP \u201920 R. Hirschfeld and T. Pape (Eds.). Schloss Dagstuhl. isbn:978-3-95977-154-2 issn:1868-8969 https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2020.13 10.4230\/LIPIcs.ECOOP.2020.13","DOI":"10.4230\/LIPIcs.ECOOP.2020.13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01891"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341694"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Shin-Cheng Mu and J. N. Oliveira. 2012. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81 6 (2012) issn:1567-8326 https:\/\/doi.org\/10.1007\/978-3-642-21070-9_22 10.1007\/978-3-642-21070-9_22","DOI":"10.1007\/978-3-642-21070-9_22"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","unstructured":"M. Papadakis and K. Sagonas. 2011. A PropEr Integration of Types and Function Specifications with Property-Based Testing. In Erlang \u201911. ACM. isbn:9781450308595 https:\/\/doi.org\/10.1145\/2034654.2034663 10.1145\/2034654.2034663","DOI":"10.1145\/2034654.2034663"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"C. Runciman M. Naylor and F. Lindblad. 2008. Smallcheck and Lazy Smallcheck: Automatic Exhaustive Testing for Small Values. SIGPLAN Not. 44 2 (2008) Sep issn:0362-1340 https:\/\/doi.org\/10.1145\/1411286.1411292 10.1145\/1411286.1411292","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_20_1","unstructured":"J. Stanley. 2017. Gens N\u2019 Roses: Appetite for Reduction. Presentation at Lambda Jam 2017"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660195"}],"event":{"name":"Haskell '23: 16th ACM SIGPLAN International Haskell Symposium","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seattle WA USA","acronym":"Haskell '23"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609026.3609733","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609026.3609733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:58Z","timestamp":1750182538000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609026.3609733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":20,"alternative-id":["10.1145\/3609026.3609733","10.1145\/3609026"],"URL":"https:\/\/doi.org\/10.1145\/3609026.3609733","relation":{},"subject":[],"published":{"date-parts":[[2023,8,30]]},"assertion":[{"value":"2023-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}