Adaptive Static Analysis via Learning with Bayesian Optimization.

Kihong Heo Hakjoo Oh Hongseok Yang Kwangkeun Yi

Published in: ACM Trans. Program. Lang. Syst. (2018)

Keyphrases

static analysis
learning algorithm
learning systems
learning process
reinforcement learning
adaptive learning
database
online learning
bayesian methods
optimization algorithm
dynamic analysis