Skip to main content

Haskell program coverage

Andy Gill, Colin Runciman

DOI 10.1145/1291201.1291203 dblp BibTeX

Abstract

We describe the design, implementation and use of HPC, a tool-kit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record program coverage, run instrumented programs, and display information derived from coverage data in various ways.

Related papers

Lower your guards: a compositional pattern-match coverage checker ICFP 2020
QuickCheck: a lightweight tool for random testing of Haskell programs ICFP 2000
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers OOPSLA 2025
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing ESOP 2021
Coverage guided, property based testing OOPSLA 2019
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically Haskell 2006
Tool Support for Improving Test Coverage ESOP 2002
The Complexity of Coverage APLAS 2008