{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:24Z","timestamp":1750219944894,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"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"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovación","doi-asserted-by":"publisher","award":["PID2019-104735RB-C44"],"award-info":[{"award-number":["PID2019-104735RB-C44"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,30]]},"DOI":"10.1145\/3609022.3609415","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T19:53:00Z","timestamp":1693511580000},"page":"14-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Generation and Refinement of Testing Models"],"prefix":"10.1145","author":[{"given":"Luis Eduardo","family":"Bueso de Barrio","sequence":"first","affiliation":[{"name":"Universidad Polit\u00e9cnica de Madrid, Spain"}]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Madrid, Spain"}]},{"given":"Clara","family":"Benac Earle","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Madrid, Spain"}]},{"given":"\u00c1ngel","family":"Herranz","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Madrid, Spain"}]},{"given":"Julio","family":"Mari\u00f1o","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2023,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Klaus Alfert. 2015. https:\/\/github.com\/alfert\/propcheck Accessed: 2021-05-06"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411275"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3471871.3472964"},{"key":"e_1_3_2_1_4_1","first-page":"890","article-title":"Making Property-Based Testing Easier to Read for Humans","volume":"35","author":"Castro Laura M.","year":"2017","unstructured":"Laura M. Castro, Pablo Lamela, and S. Thompson. 2017. Making Property-Based Testing Easier to Read for Humans. COMPUTING AND INFORMATICS, 35, 4 (2017), Feb., 890\u2013913. https:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/3381","journal-title":"COMPUTING AND INFORMATICS"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2014.110"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239332.3242763"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_10_1","unstructured":"A. Helles\u00f8y. 2008. https:\/\/cucumber.io\/ Accessed: 2023-05-11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.37"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034667"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034663"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546186.3549930"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"e_1_3_2_1_17_1","volume-title":"TypeCheck - Effortless runtime type-checking. https:\/\/github.com\/Qqwy\/elixir-type_check In Elixir EU","author":"Wijnja Wiebe-Marten","year":"2022","unstructured":"Wiebe-Marten Wijnja. 2022. TypeCheck - Effortless runtime type-checking. https:\/\/github.com\/Qqwy\/elixir-type_check In Elixir EU 2022."},{"key":"e_1_3_2_1_18_1","unstructured":"Michal Zalewski. 2017. American fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/ Accessed: 2019-05-22"}],"event":{"name":"Erlang '23: 22nd ACM SIGPLAN International Workshop on Erlang","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seattle WA USA","acronym":"Erlang '23"},"container-title":["Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609022.3609415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609022.3609415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:57Z","timestamp":1750182537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609022.3609415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":18,"alternative-id":["10.1145\/3609022.3609415","10.1145\/3609022"],"URL":"https:\/\/doi.org\/10.1145\/3609022.3609415","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"}}]}}