@misc{indiciae88a14869c58c,
  title = {Learning a Static Analyzer from Data},
  author = {Pavol Bielik and Veselin Raychev and Martin Vechev},
  year = {2017},
  url = {https://arxiv.org/abs/1611.01752},
  note = {Source identifier: 1611.01752}
}