generative testing for PHP