Learning a strategy for adapting a program analysis via bayesian optimisation