@inproceedings{DBLP:journals/corr/abs-1105-4394,
  author    = {Harsh Raju Chamarthi and
               Peter C. Dillinger and
               Matt Kaufmann and
               Panagiotis Manolios},
  title     = {Integrating Testing and Interactive Theorem Proving},
  booktitle = {ACL2},
  year      = {2011},
  pages     = {4-19},
  ee        = {http://dx.doi.org/10.4204/EPTCS.70.1},
  crossref  = {DBLP:journals/corr/abs-1110-4473},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/corr/abs-1110-4473,
  editor    = {David Hardin and
               Julien Schmaltz},
  title     = {Proceedings 10th International Workshop on the ACL2 Theorem
               Prover and its Applications},
  booktitle = {ACL2},
  series    = {EPTCS},
  volume    = {70},
  year      = {2011},
  ee        = {http://dx.doi.org/10.4204/EPTCS.70},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}