Generative testing looks ideal for Functional PHP and https://github.com/steos/php-quickcheck looks like a good implementation.

TBD

• weither to use it inside of PHPUnit or not. First instinct is rather not but the question is weither it's sensible to port tests like FunctionalTest and AnnotationsTest