Generate regex-constrained strings for QuickCheck