Papaya: Global Typestate Analysis of Aliased Objects.

Mathias Jakobsen Alice Ravier Ornela Dardha

Published in: PPDP (2021)

Keyphrases

case study
statistical analysis
quantitative analysis
databases
genetic algorithm
data analysis
database
neural network
real world
image analysis