@misc{indiciae9fa1e54de827,
  title = {Integrating Testing and Interactive Theorem Proving},
  author = {Harsh Raju Chamarthi and Peter C. Dillinger and Matt Kaufmann and Panagiotis Manolios},
  year = {2011},
  doi = {10.4204/eptcs.70.1},
  url = {https://arxiv.org/abs/1105.4394},
  note = {Source identifier: 1105.4394}
}