{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:04Z","timestamp":1772164084753,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,8]],"date-time":"2016-09-08T00:00:00Z","timestamp":1473292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["BEX 9980-13-0"],"award-info":[{"award-number":["BEX 9980-13-0"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,8]]},"DOI":"10.1145\/2976002.2976003","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T08:40:09Z","timestamp":1472200809000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["FitSpec: refining property sets for functional testing"],"prefix":"10.1145","author":[{"given":"Rudy","family":"Braquehais","sequence":"first","affiliation":[{"name":"University of York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[{"name":"University of York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_14"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_3_1","first-page":"21","volume-title":"QuickSpec: Guessing Formal Specifications Using Testing. In TAP","author":"Claessen K.","year":"2010","unstructured":"K. Claessen , N. Smallbone , and J. Hughes . QuickSpec: Guessing Formal Specifications Using Testing. In TAP 2010 , LNCS 6143, pages 6\u2013 21 . Springer, 2010. K. Claessen, N. Smallbone, and J. Hughes. QuickSpec: Guessing Formal Specifications Using Testing. In TAP 2010, LNCS 6143, pages 6\u201321. Springer, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_5_1","first-page":"72","volume-title":"Haskell\u201912","author":"Dureg\u00e5rd J.","unstructured":"J. Dureg\u00e5rd , P. Jansson , and M. Wang . Feat: functional enumeration of algebraic types . In Haskell\u201912 , pages 61\u2013 72 . ACM, 2012. J. Dureg\u00e5rd, P. Jansson, and M. Wang. Feat: functional enumeration of algebraic types. In Haskell\u201912, pages 61\u201372. ACM, 2012."},{"key":"e_1_3_2_1_6_1","volume-title":"Ultra-Lightweight Black Box Mutation Testing. https: \/\/youtu.be\/ROKxri62WYQ","author":"Dureg\u00e5rd J.","year":"2014","unstructured":"J. Dureg\u00e5rd . Ultra-Lightweight Black Box Mutation Testing. https: \/\/youtu.be\/ROKxri62WYQ , 2014 . Accessed 1 April 2016. J. Dureg\u00e5rd. Ultra-Lightweight Black Box Mutation Testing. https: \/\/youtu.be\/ROKxri62WYQ, 2014. Accessed 1 April 2016."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628052"},{"key":"e_1_3_2_1_10_1","first-page":"123","volume-title":"TFP\u201907","author":"Lindblad F.","year":"2007","unstructured":"F. Lindblad . Property directed generation of first-order test data . In TFP\u201907 , pages 105\u2013 123 , 2007 . F. Lindblad. Property directed generation of first-order test data. In TFP\u201907, pages 105\u2013123, 2007."},{"key":"e_1_3_2_1_11_1","first-page":"18","volume-title":"International Conference on Testing Computer Software","author":"Marick B.","year":"1999","unstructured":"B. Marick . How to misuse code coverage . In International Conference on Testing Computer Software , pages 16\u2013 18 , 1999 . B. Marick. How to misuse code coverage. In International Conference on Testing Computer Software, pages 16\u201318, 1999."},{"key":"e_1_3_2_1_12_1","volume-title":"Springer","author":"Reich J. S.","year":"2013","unstructured":"J. S. Reich , M. Naylor , and C. Runciman . Advances in Lazy SmallCheck. In IFL\u201913, LNCS 8241, pages 53\u201370 . Springer , 2013 . J. S. Reich, M. Naylor, and C. Runciman. Advances in Lazy SmallCheck. In IFL\u201913, LNCS 8241, pages 53\u201370. Springer, 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_15_1","volume-title":"Quick specifications for the lazy programmer. Submitted for publication","author":"Smallbone N.","year":"2016","unstructured":"N. Smallbone and M. Johansson . Quick specifications for the lazy programmer. Submitted for publication , 2016 . N. Smallbone and M. Johansson. Quick specifications for the lazy programmer. Submitted for publication, 2016."}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 9th International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976002.2976003","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2976002.2976003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:50:19Z","timestamp":1750204219000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976002.2976003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,8]]},"references-count":15,"alternative-id":["10.1145\/2976002.2976003","10.1145\/2976002"],"URL":"https:\/\/doi.org\/10.1145\/2976002.2976003","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3241625.2976003","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,8]]},"assertion":[{"value":"2016-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}