Scalable Typestate Analysis using Bit-Vector Machines.

Alen Arslanagic Pavle Subotic Jorge A. Pérez

Published in: CoRR (2022)

Keyphrases

bit vector
statistical analysis
neural network
wide range
quantitative analysis
data sets
data mining
cooperative
preprocessing
probabilistic model