Add QuickCheck article