{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:43Z","timestamp":1750221283489,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,28]],"date-time":"2017-10-28T00:00:00Z","timestamp":1509148800000},"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":[[2017,10,28]]},"DOI":"10.1145\/3144555.3144556","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T12:31:37Z","timestamp":1509453097000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["The Cogent Case for Property-Based Testing"],"prefix":"10.1145","author":[{"given":"Zilin","family":"Chen","sequence":"first","affiliation":[{"name":"Data61 and UNSW, Australia"}]},{"given":"Liam","family":"O'Connor","sequence":"additional","affiliation":[{"name":"Data61 and UNSW, Australia"}]},{"given":"Gabriele","family":"Keller","sequence":"additional","affiliation":[{"name":"Data61 and UNSW, Australia"}]},{"given":"Gerwin","family":"Klein","sequence":"additional","affiliation":[{"name":"Data61 and UNSW, Australia"}]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[{"name":"Data61 and UNSW, Australia"}]}],"member":"320","published-online":{"date-parts":[[2017,10,28]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872404"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.196.1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107466"},{"key":"e_1_3_2_1_5_1","volume-title":"Simon Peyton Jones, and Arnaud Spiwack","author":"Bernardy Jean-Philippe","year":"2017","unstructured":"Jean-Philippe Bernardy, Mathieu Bosepflug, Ryan R. Newton, Simon Peyton Jones, and Arnaud Spiwack. 2017. Retrofitting Linear Types. (2017). https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/03\/haskell-linear-submitted.pdf."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0222-y"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35308-6_10"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30473-6_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722298_8"},{"key":"e_1_3_2_1_10_1","volume-title":"The workshop on Type-Driven Development (TyDe'17)","author":"Chen Zilin","year":"2017","unstructured":"Zilin Chen. 2017. Cogent⇑: Giving Systems Engineers A Stepping Stone (Extended abstract). In The workshop on Type-Driven Development (TyDe'17). https:\/\/www.cse.unsw.edu.au\/~zilinc\/tyde17.pdf."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596574"},{"key":"e_1_3_2_1_13_1","unstructured":"Cogent 2017. Cogent Homepage. (2017). http:\/\/ts.data61.csiro.au\/projects\/TS\/cogent.pml."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535839"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079"},{"key":"e_1_3_2_1_16_1","unstructured":"FUSE Developers. 2017. The FUSE Project. https:\/\/sourceforge.net\/projects\/fuse. (2017)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/10930755_12"},{"issue":"2","key":"e_1_3_2_1_18_1","first-page":"1","article-title":"GHC User's Guide Documentation","volume":"8","author":"Team GHC","year":"2017","unstructured":"GHC Team. 2017. GHC User's Guide Documentation, Version 8.2.1. User's Guide. 463--466 pages. https:\/\/downloads.haskell.org\/~ghc\/latest\/docs\/users_guide.pdf.","journal-title":"Version"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086380"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500574"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_9"},{"key":"e_1_3_2_1_22_1","unstructured":"Galois Inc. 2017. The Haskell Lightweight Virtual Machine (HaLVM) source archive. https:\/\/github.com\/GaloisInc\/HaLVM. (2017)."},{"volume-title":"SOSP.","author":"Klein Gerwin","key":"e_1_3_2_1_23_1","unstructured":"Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. 2009. seL4: Formal Verification of an OS Kernel. In SOSP. Big Sky, MT, USA, 207--220."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009868"},{"key":"e_1_3_2_1_25_1","unstructured":"David R. MacIver. 2016. Integrated vs Type-based Shrinking. Article. http:\/\/hypothesis.works\/articles\/integrated-shrinking."},{"key":"e_1_3_2_1_26_1","unstructured":"Neil Mitchell. 2017. The derive package. (2017). https:\/\/hackage.haskell.org\/package\/derive."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.244.7"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow and Gerwin Klein. 2014. Concrete Semantics with Isabelle\/HOL.","DOI":"10.1007\/978-3-319-10542-0"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976022.2976030"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Liam O'Connor Zilin Chen Christine Rizkallah Sidney Amani Japheth Lim Toby Murray Yutaka Nagashima Thomas Sewell and Gerwin Klein. 2016. Refinement Through Restraint: Bringing Down the Cost of Verification. In ICFP. Nara Japan.","DOI":"10.1145\/2951913.2951940"},{"key":"e_1_3_2_1_31_1","volume-title":"Foundational Property-Based Testing. In ITP 2015 - 6th conference on Interactive Theorem Proving (Lecture Notes in Computer Science)","volume":"9236","author":"Paraskevopoulou Zoe","unstructured":"Zoe Paraskevopoulou, C\u0103t\u0103lin Hri\u0163cu, Maxime D\u00e9n\u00e8s, Leonidas Lampropoulos, and Benjamin C. Pierce. 2015. Foundational Property-Based Testing. In ITP 2015 - 6th conference on Interactive Theorem Proving (Lecture Notes in Computer Science), Vol. 9236. Nanjing, China. https:\/\/hal.inria.fr\/hal-01162898"},{"key":"e_1_3_2_1_32_1","unstructured":"Rust 2014. The Rust Programming Language. http:\/\/rustlang.org. (2014). Accessed March 2015."},{"key":"e_1_3_2_1_33_1","unstructured":"Jacob Stanley. 2017. Hedgehog will eat all your bugs. Open Source Project. https:\/\/github.com\/hedgehogqa\/haskell-hedgehog."}],"event":{"name":"SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"],"location":"Shanghai China","acronym":"SOSP '17"},"container-title":["Proceedings of the 9th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3144555.3144556","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3144555.3144556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:22Z","timestamp":1750212682000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3144555.3144556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,28]]},"references-count":32,"alternative-id":["10.1145\/3144555.3144556","10.1145\/3144555"],"URL":"https:\/\/doi.org\/10.1145\/3144555.3144556","relation":{},"subject":[],"published":{"date-parts":[[2017,10,28]]},"assertion":[{"value":"2017-10-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}