Integrating testing and interactive theorem proving. See URL http://www.ccs.neu.edu/home/harshrc/ITaITP.pdf (0)

by H R Chamarthi, P Dillinger, M Kaufmann, P Manolios