Peter Dybjer, Qiao Haiyan, Makoto Takeyama. Verifying Haskell Programs by Combining Testing and Proving. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 272-279, IEEE Computer Society, 2003. [doi]
Abstract is missing.