QuickCheck: a lightweight tool for random testing of Haskell programs.

Koen Claessen John Hughes

Published in: ICFP (2000)

Keyphrases

lightweight
wireless sensor networks
programming language
software testing
authentication protocol
functional programming
communication infrastructure
functional language