Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.

Colin Runciman Matthew Naylor Fredrik Lindblad

Published in: Haskell (2008)

Keyphrases

semi automatic
data driven
small number
labor intensive
software testing
standard deviation
conditional probabilities
data sets
relational databases
case based reasoning
expert systems
test set
attribute values
optimal solution
multiscale
information systems
inductive learning
brute force
real time