Runtime Verification of Hash Code in Mutable Classes.

Davide Ancona Angelo Ferrando Viviana Mascardi

Published in: FTfJP@ECOOP (2023)

Keyphrases

hash functions
support vector machine
binary codes
real time

databases
machine learning
source code
similarity search

class labels
model checking
data flow
error correcting

class hierarchy
concurrent systems
byte code