DocumentCode
2534546
Title
Rex: Symbolic Regular Expression Explorer
Author
Veanes, Margus ; de Halleux, Peli ; Tillmann, Nikolai
Author_Institution
Microsoft Res., Redmond, WA, USA
fYear
2010
fDate
6-10 April 2010
Firstpage
498
Lastpage
507
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location
Paris
Print_ISBN
978-1-4244-6435-7
Type
conf
DOI
10.1109/ICST.2010.15
Filename
5477051
Link To Document