TY  - RPRT
TI  - Integrating Testing and Interactive Theorem Proving
AU  - Harsh Raju Chamarthi
AU  - Peter C. Dillinger
AU  - Matt Kaufmann
AU  - Panagiotis Manolios
PY  - 2011
DO  - 10.4204/eptcs.70.1
UR  - https://arxiv.org/abs/1105.4394
ID  - 1105.4394
ER  -