QuickCheck: a lightweight tool for random testing of Haskell programs
A Computing Procedure for Quantification Theory