Constrained random test generator