A regular expression string generator using Xeger