Testing monadic code with QuickCheck.

Koen Claessen John Hughes

Published in: Haskell (2002)

Keyphrases

source code
unit testing
concurrent programs
database
test cases
software testing
datalog queries
artificial intelligence
data exchange
deductive databases
test generation
code generation