Property Based Testing for Objective-C and Swift. Automatic generation of software tests.
https://github.com/jeffh/Fox
par-statem-attempt-2