@misc{indiciae8e639a423cb7,
  title = {UCov: a User-Defined Coverage Criterion for Test Case Intent Verification},
  author = {Rawad Abou Assi and Fadi A. Zaraket and Wes Masri},
  year = {2014},
  url = {https://arxiv.org/abs/1407.3091},
  note = {Source identifier: 1407.3091}
}