@misc{indiciaef266ffc8aa18,
  title = {Type Targeted Testing},
  author = {Eric L. Seidel and Niki Vazou and Ranjit Jhala},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8\_33},
  url = {https://arxiv.org/abs/1410.5370},
  note = {Source identifier: 1410.5370}
}