@misc{indiciae21c3835a06f5,
  title = {Heuristics for Selecting Predicates for Partial Predicate Abstraction},
  author = {Tuba Yavuz and Chelsea Metcalf},
  year = {2017},
  url = {https://arxiv.org/abs/1801.02457},
  note = {Source identifier: 1801.02457}
}