High coverage testing of Haskell programs.

Tristan Oliver Richard Allwood Cristian Cadar Susan Eisenbach

Published in: ISSTA (2011)

Keyphrases

set of test cases
programming language
test suite
test cases
data sets
functional programming
functional language
training data
symbolic execution
databases
operating system
wide range
high level
high efficiency
software testing
quality assurance
test generation
automatic programming
general purpose
decision trees