@inproceedings{veanes2010rex,
author = {Veanes, Margus and de Halleux, Peli and Tillmann, Nikolai},
title = {Rex: Symbolic Regular Expression Explorer},
booktitle = {Third International Conference on Software Testing, Verification and Validation (ICST)},
year = {2010},
month = {April},
abstract = {Constraints in form regular expressions over strings are ubiquitous. They occur often in programming languages like Perl and C#, in SQL in form of LIKE expressions, and in web applications. Providing support for regular expression constraints in program analysis and testing has several useful applications. We introduce a method and a tool called Rex, for symbolically expressing and analyzing regular expression constraints. Rex is implemented using the SMT solver Z3, and we provide experimental evaluation of Rex.},
publisher = {IEEE},
url = {http://approjects.co.za/?big=en-us/research/publication/rex-symbolic-regular-expression-explorer-2/},
pages = {498-507},
edition = {Third International Conference on Software Testing, Verification and Validation (ICST)},
}