Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi. Runtime Verification of Hash Code in Mutable Classes. In Aaron Tomb, editor, Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023. pages 25-31, ACM, 2023. [doi]
Abstract is missing.