@misc{indiciae05a01dbb20b9,
  title = {Exploring the Link Between Test Suite Quality and Automatic Specification Inference},
  author = {Luke Chircop and Christian Colombo and Mark Micallef},
  year = {2017},
  doi = {10.4204/eptcs.254.4},
  url = {https://arxiv.org/abs/1708.07231},
  note = {Source identifier: 1708.07231}
}