Nicolas Oury. Pattern matching coverage checking with dependent types using set approximations. In Aaron Stump, Hongwei Xi, editors, Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. pages 47-56, ACM, 2007. [doi]
Abstract is missing.