Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.