Title :
Rex: Symbolic Regular Expression Explorer
Author :
Veanes, Margus ; de Halleux, Peli ; Tillmann, Nikolai
Author_Institution :
Microsoft Res., Redmond, WA, USA
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.
Keywords :
formal languages; program diagnostics; program testing; software tools; Rex; SMT solver Z3; program analysis; program testing; programming languages; regular expression constraints; symbolic regular expression explorer; Automata; Computer languages; Constraint theory; Data analysis; Databases; Java; Logic; Software testing; Surface-mount technology; Terminology; finite automata; regular expressions; satisfiability modulo theories; strings;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-6435-7
DOI :
10.1109/ICST.2010.15
