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