Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Rex: Symbolic Regular Expression Explorer

Margus Veanes, Peli de Halleux, and Nikolai Tillmann

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.

Details

Publication typeInproceedings
Published inThird International Conference on Software Testing, Verification and Validation (ICST)
URLhttp://dx.doi.org/10.1109/ICST.2010.15
Pages498-507
PublisherIEEE

Previous versions

Margus Veanes, Peli de Halleux, and Nikolai Tillmann. Rex: Symbolic Regular Expression Explorer, IEEE, October 2009.

> Publications > Rex: Symbolic Regular Expression Explorer