{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T05:08:43Z","timestamp":1784351323837,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Erlang Ecosystem Foundation","award":["TKP2021-NVA-29"],"award-info":[{"award-number":["TKP2021-NVA-29"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,28]]},"DOI":"10.1145\/3677995.3678194","type":"proceedings-article","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T18:41:53Z","timestamp":1724870513000},"page":"55-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-1095-4188","authenticated-orcid":false,"given":"Bendeg\u00faz","family":"Seres","sequence":"first","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0261-0091","authenticated-orcid":false,"given":"D\u00e1niel","family":"Horp\u00e1csi","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2350-301X","authenticated-orcid":false,"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[{"name":"University of Kent, Kent, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863509.1863521"},{"key":"e_1_3_2_1_3_1","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler Martin","year":"1999","unstructured":"Martin Fowler and Kent Beck. 1999. Refactoring: Improving the Design of Existing Code. Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0201485672"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2023.100857"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE52586.2021.00019"},{"key":"e_1_3_2_1_6_1","volume-title":"Fundamental Approaches to Software Engineering","author":"Jakobs Marie-Christine","unstructured":"Marie-Christine Jakobs and Maik Wiesner. 2022. PEQtest: Testing Functional Equivalence. In Fundamental Approaches to Software Engineering, Einar Broch Johnsen and Manuel Wimmer (Eds.). Springer International Publishing, Cham. 184\u2013204."},{"key":"e_1_3_2_1_7_1","volume-title":"Implementation and Application of Functional Languages, Olaf Chitil, Zolt\u00e1n Horv\u00e1th, and Vikt\u00f3ria Zs\u00f3k (Eds.)","author":"Li Huiqing","unstructured":"Huiqing Li and Simon Thompson. 2008. Testing Erlang Refactorings with QuickCheck. In Implementation and Application of Functional Languages, Olaf Chitil, Zolt\u00e1n Horv\u00e1th, and Vikt\u00f3ria Zs\u00f3k (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 19\u201336. isbn:978-3-540-85373-2"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2005 ACM SIGPLAN workshop on Erlang. ACM","author":"Lindahl Tobias","year":"2005","unstructured":"Tobias Lindahl and Konstantinos Sagonas. 2005. TYPER: A Type Annotator of Erlang Code. In Proceedings of the 2005 ACM SIGPLAN workshop on Erlang. ACM, New York. https:\/\/dl.acm.org\/doi\/abs\/10.1145\/1088361.1088366"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140356"},{"key":"e_1_3_2_1_10_1","unstructured":"Encyclopedia Of Mathematics. 2020. Functor. https:\/\/encyclopediaofmath.org\/index.php?title=Functor"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1953-0053041-6"},{"key":"e_1_3_2_1_12_1","unstructured":"The Dialyzer team. 2006-2024. Dialyzer Reference. https:\/\/www.erlang.org\/doc\/man\/dialyzer.html Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_13_1","unstructured":"The Electron team. 2013-2024. Electron Home Page. https:\/\/www.electronjs.org\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_14_1","unstructured":"The EquivcheckEr team. 2024. EquivcheckEr Source Repository. https:\/\/github.com\/harp-project\/EquivcheckEr Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_15_1","unstructured":"The Freedesktop team. 2006-2024. freedesktop.org Home Page. https:\/\/www.freedesktop.org\/wiki\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_16_1","unstructured":"The Git team. 2005-2024. Git Home Page. https:\/\/git-scm.com\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_17_1","unstructured":"The PropEr team. 2011-2024. PropEr Home Page. https:\/\/proper-testing.github.io\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_18_1","unstructured":"The Rebar team. 2016-2024. Rebar3 Home Page. https:\/\/www.rebar3.org\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_19_1","unstructured":"The Typescript team. 2012-2024. TypeScript Home Page. https:\/\/www.typescriptlang.org\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_20_1","volume-title":"Visual Studio Code Editor","author":"The","year":"2024","unstructured":"The VSCode team. 2015-2024. Visual Studio Code Editor Home Page. https:\/\/code.visualstudio.com\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_21_1","unstructured":"The Wrangler team. 2005-2024. Wrangler Home Page. https:\/\/refactoringtools.github.io\/wrangler\/ Last accessed: 05-05-2024"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_1_23_1","unstructured":"Ulf Wiger. 2018-2024. Parse transform utilities. https:\/\/github.com\/uwiger\/parse_trans Last accessed: 05-05-2024"}],"event":{"name":"Erlang '24: 23rd ACM SIGPLAN International Workshop on Erlang","location":"Milan Italy","acronym":"Erlang '24","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677995.3678194","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3677995.3678194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:28Z","timestamp":1750291468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677995.3678194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":23,"alternative-id":["10.1145\/3677995.3678194","10.1145\/3677995"],"URL":"https:\/\/doi.org\/10.1145\/3677995.3678194","relation":{},"subject":[],"published":{"date-parts":[[2024,8,28]]},"assertion":[{"value":"2024-08-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}