High coverage testing of Haskell programs

@inproceedings{Allwood2011HighCT,
  title={High coverage testing of Haskell programs},
  author={Tristan Oliver Richard Allwood and Cristian Cadar and Susan Eisenbach},
  booktitle={ISSTA},
  year={2011}
}

• Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach
• Published 2011 in ISSTA
• DOI:10.1145/2001420.2001465

This paper presents a new lightweight technique for automatically generating high coverage test suites for Haskell library code. Our approach combines four main features to increase test coverage: (1) automatically inferring the constructors and functions needed to generate test data; (2) using needed narrowing to take advantage of Haskell's lazy evaluation… CONTINUE READING

Save

Watch Paper

Cite

View on ACM