Eris is a porting of Quickcheck and propertybased testing tools to the PHP and PHPUnit ecosystem.