Rex: Symbolic Regular Expression Explorer.

Margus Veanes, Peli de Halleux, Nikolai Tillmann

Browse the full ICST paper archive.