Automatically generate strings given a regular expression with guarentees of covarage for automated testing