How to create random strings that match a regex using quickcheck?
Thus, a regular expression (i.e. the corresponding state machine) spawns strings. (And not: generate some random strings that are then filtered by regular expression)
Ideally, the resulting distribution of strings should be uniform with respect to the set of strings (i.e. the regular language) that is generated by the regular expression (where the length of each string is bounded by a constant).
source
share