@misc{indiciae8785423c0a30,
  title = {Self-adaptive static analysis},
  author = {Eric Bodden},
  year = {2017},
  url = {https://arxiv.org/abs/1710.07430},
  note = {Source identifier: 1710.07430}
}