{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:57Z","timestamp":1750309317091,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T00:00:00Z","timestamp":1689638400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"MUR","award":["PRIN 2020TL3X8X"],"award-info":[{"award-number":["PRIN 2020TL3X8X"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,18]]},"DOI":"10.1145\/3605156.3606452","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T21:02:37Z","timestamp":1689282157000},"page":"25-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Runtime Verification of Hash Code in Mutable Classes"],"prefix":"10.1145","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[{"name":"University of Genoa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Ferrando","sequence":"additional","affiliation":[{"name":"University of Genoa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[{"name":"University of Genoa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0274-y"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236476"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017","author":"Ancona Davide","year":"2017","unstructured":"Davide Ancona , Angelo Ferrando , and Viviana Mascardi . 2017 . Parametric Runtime Verification of Multiagent Systems . In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017 , S\u00e3o Paulo, Brazil , May 8-12, 2017. 1457\u20131459. Davide Ancona, Angelo Ferrando, and Viviana Mascardi. 2017. Parametric Runtime Verification of Multiagent Systems. In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, S\u00e3o Paulo, Brazil, May 8-12, 2017. 1457\u20131459."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102610"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(00)00095-9"},{"key":"e_1_3_2_1_6_1","unstructured":"Joshua Bloch. 2018. Effective Java (3 ed.). Addison-Wesley. isbn:978-0-13-468599-1 \t\t\t\t  Joshua Bloch. 2018. Effective Java (3 ed.). Addison-Wesley. isbn:978-0-13-468599-1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80575-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.02.004"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-09268-8_12"},{"key":"e_1_3_2_1_11_1","volume-title":"13th International Workshop, FMICS 2008, L\u2019Aquila","author":"Colombo Christian","year":"2008","unstructured":"Christian Colombo , Gordon J. Pace , and Gerardo Schneider . 2008 . Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. In Formal Methods for Industrial Critical Systems , 13th International Workshop, FMICS 2008, L\u2019Aquila , Italy, September 15-16, 2008, Revised Selected Papers. 135\u2013149. Christian Colombo, Gordon J. Pace, and Gerardo Schneider. 2008. Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. In Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L\u2019Aquila, Italy, September 15-16, 2008, Revised Selected Papers. 135\u2013149."},{"key":"e_1_3_2_1_12_1","volume-title":"SEFM","author":"Colombo Christian","year":"2009","unstructured":"Christian Colombo , Gordon J. Pace , and Gerardo Schneider . 2009 . LARVA \u2013 Safer Monitoring of Real-Time Java Programs . In SEFM 2009. 33\u201337. Christian Colombo, Gordon J. Pace, and Gerardo Schneider. 2009. LARVA \u2013 Safer Monitoring of Real-Time Java Programs. In SEFM 2009. 33\u201337."},{"key":"e_1_3_2_1_13_1","volume-title":"Combining Monitoring with Run-Time Assertion Checking. In SFM","author":"Frank","year":"2014","unstructured":"Frank S. de Boer and Stijn de Gouw. 2014 . Combining Monitoring with Run-Time Assertion Checking. In SFM 2014 . 217\u2013262. Frank S. de Boer and Stijn de Gouw. 2014. Combining Monitoring with Run-Time Assertion Checking. In SFM 2014. 217\u2013262."},{"key":"e_1_3_2_1_14_1","first-page":"220","article-title":"A Java function visualizer","volume":"15","author":"Dershem Herbert L","year":"1999","unstructured":"Herbert L Dershem , Daisy Erin Parker , and Rebecca Weinhold . 1999 . A Java function visualizer . Journal of Computing in Small Colleges , 15 , 1 (1999), 220 \u2013 230 . Herbert L Dershem, Daisy Erin Parker, and Rebecca Weinhold. 1999. A Java function visualizer. Journal of Computing in Small Colleges, 15, 1 (1999), 220\u2013230.","journal-title":"Journal of Computing in Small Colleges"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31653-1_40"},{"key":"e_1_3_2_1_16_1","volume-title":"An overview of the runtime verification tool Java PathExplorer. Formal methods in system design, 24, 2","author":"Havelund Klaus","year":"2004","unstructured":"Klaus Havelund and Grigore Ro\u015fu . 2004. An overview of the runtime verification tool Java PathExplorer. Formal methods in system design, 24, 2 ( 2004 ), 189\u2013215. Klaus Havelund and Grigore Ro\u015fu. 2004. An overview of the runtime verification tool Java PathExplorer. Formal methods in system design, 24, 2 (2004), 189\u2013215."},{"key":"e_1_3_2_1_17_1","volume-title":"International Space Conference.","author":"Havelund Klaus","year":"2001","unstructured":"Klaus Havelund , Grigore Rosu , and Daniel Clancy . 2001 . Java pathexplorer: A runtime verification tool . In International Space Conference. Klaus Havelund, Grigore Rosu, and Daniel Clancy. 2001. Java pathexplorer: A runtime verification tool. In International Space Conference."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2411"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2009.159"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45875-1_13"},{"volume-title":"Understanding the Impact of Collection Contracts on Design","author":"Nelson Stephen","key":"e_1_3_2_1_22_1","unstructured":"Stephen Nelson , David J. Pearce , and James Noble . 2010. Understanding the Impact of Collection Contracts on Design . In Objects, Models, Components, Patterns, Jan Vitek (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg . 61\u201378. isbn:978-3-642-13953-6 Stephen Nelson, David J. Pearce, and James Noble. 2010. Understanding the Impact of Collection Contracts on Design. In Objects, Models, Components, Patterns, Jan Vitek (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 61\u201378. isbn:978-3-642-13953-6"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2018EDP7254"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2910"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45875-1_12"},{"key":"e_1_3_2_1_26_1","volume-title":"MCC: A runtime verification tool for MCAPI user applications. In 2009 Formal Methods in Computer-Aided Design. 41\u201344.","author":"Sharma Subodh","year":"2009","unstructured":"Subodh Sharma , Ganesh Gopalakrishnan , Eric Mercer , and Jim Holt . 2009 . MCC: A runtime verification tool for MCAPI user applications. In 2009 Formal Methods in Computer-Aided Design. 41\u201344. Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, and Jim Holt. 2009. MCC: A runtime verification tool for MCAPI user applications. In 2009 Formal Methods in Computer-Aided Design. 41\u201344."},{"volume-title":"Linear Temporal Logic: Expressiveness and Model Checking. Ph. D. Dissertation","author":"Strej\u010dek Jan","key":"e_1_3_2_1_27_1","unstructured":"Jan Strej\u010dek . 2004. Linear Temporal Logic: Expressiveness and Model Checking. Ph. D. Dissertation . Masaryk University Brno . Jan Strej\u010dek. 2004. Linear Temporal Logic: Expressiveness and Model Checking. Ph. D. Dissertation. Masaryk University Brno."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2000.891472"}],"event":{"name":"FTfJP '23: 25th ACM International Workshop on Formal Techniques for Java-like Programs","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"FTfJP '23"},"container-title":["Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605156.3606452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605156.3606452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:54Z","timestamp":1750291434000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605156.3606452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,18]]},"references-count":28,"alternative-id":["10.1145\/3605156.3606452","10.1145\/3605156"],"URL":"https:\/\/doi.org\/10.1145\/3605156.3606452","relation":{},"subject":[],"published":{"date-parts":[[2023,7,18]]},"assertion":[{"value":"2023-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}