"Rex: Symbolic Regular Expression Explorer."

Margus Veanes, Peli de Halleux, Nikolai Tillmann (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics