Rex: Symbolic Regular Expression Explorer
作者： Margus Veanes , Peli de Halleux , Nikolai Tillmann
DOI: 10.1109/ICST.2010.15
关键词:
摘要: Constraints in form regular expressions over strings are ubiquitous. They occur often programming languages like Perl and C#, SQL of LIKE expressions, web applications. Providing support for expression constraints program analysis testing has several useful We introduce a method tool called Rex, symbolically expressing analyzing constraints. Rex is implemented using the SMT solver Z3, we provide experimental evaluation Rex.
unirioja.es
diku.dk
computer.org参考文章(24)
Leonardo de Moura, Nikolaj Bjørner, Z3: an efficient SMT solver tools and algorithms for construction and analysis of systems. pp. 337- 340 ,(2008) , 10.1007/978-3-540-78800-3_24
Fang Yu, Tevfik Bultan, Oscar H. Ibarra, Symbolic String Verification: Combining String Analysis and Size Analysis tools and algorithms for construction and analysis of systems. pp. 322- 336 ,(2009) , 10.1007/978-3-642-00768-2_28
Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra, Symbolic String Verification: An Automata-Based Approach Model Checking Software. pp. 306- 324 ,(2008) , 10.1007/978-3-540-85114-1_21
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann, Symbolic Query Exploration Formal Methods and Software Engineering. pp. 49- 68 ,(2009) , 10.1007/978-3-642-10373-5_3
Keith Golden, Wanlin Pang, Constraint reasoning over strings principles and practice of constraint programming. pp. 377- 391 ,(2003) , 10.1007/978-3-540-45193-8_26
Aske Simon Christensen, Michael I. Schwartzbach, Anders Møller, Precise analysis of string expressions static analysis symposium. pp. 1- 18 ,(2003) , 10.5555/1760267.1760269
Calvin C. Elgot, Decision problems of finite automata design and related arithmetics Transactions of the American Mathematical Society. ,vol. 98, pp. 21- 51 ,(1961) , 10.1090/S0002-9947-1961-0139530-9
Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)
Gary Wassermann, Carl Gould, Zhendong Su, Premkumar Devanbu, Static checking of dynamically generated queries in database applications ACM Transactions on Software Engineering and Methodology. ,vol. 16, pp. 14- ,(2007) , 10.1145/1276933.1276935
Pieter Hooimeijer, Westley Weimer, A decision procedure for subset constraints over regular languages Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09. ,vol. 44, pp. 188- 198 ,(2009) , 10.1145/1542476.1542498