Unconstrained Variable Oracles for Faster Numeric Static Analyses.

Vincenzo Arceri Greta Dolcetti Enea Zaffanella

Published in: SAS (2023)

Keyphrases

test cases
numeric data
databases
three dimensional
artificial neural networks
active learning
elimination algorithm
neural network
memory efficient