an ObjC port of the QuickCheck unit test framework - View it on GitHub