Initial test framework (QuickCheck)