Writing good generative tests is extremely laborious, in general. It's hard to get an informative sample of the input space.