String Theories involving Regular Membership Predicates: From Practice to Theory and Back

Murphy Berzish, Joel D. Day, Vijay Ganesh +4

Widespread use of string solvers in formal analysis of string-heavy programs has led to a growing demand for more efficient and reliable techniques which can be applied in this con…