Login / Signup
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