Testing monadic code with QuickCheck.

Koen Claessen John Hughes

Published in: ACM SIGPLAN Notices (2002)

Keyphrases

source code
unit testing
databases
code generation
website
test cases
deductive databases
symbolic execution
neural network
machine learning
np complete
datalog queries