@inproceedings{groce2014coverage,
  title={Coverage and Its Discontents},
  author={Groce, Alex and Alipour, Mohammad Amin and Gopinath, Rahul},
  booktitle={Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software},
  pages={255--268},
  year={2014},
  organization={ACM}
}