Verifying Haskell programs by combining testing and proving. (2003)

by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Venue:In Proceedings of Third International Conference on Quality Software,