Description

Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings.

i wonder how well it plays with Pex.. what would be nice is if you not only could generate regexp matches but also check if a string matches a specified regexp. RegExp.Match and pex doesnt seem to get along that well (atleast last time i tried) but rex seems
like it would do better

The constructs that are currenly not supported have an operational meaning that is much more expressive than regular expressions, and algorithimically pose a challenge when it comes to
generation of matching strings. Some of the contructs are future-work and will hopefully be supported in future releases though .