Z3str2: an efficient solver for strings, regular expressions, and length constraintsYunhui ZhengVijay Ganeshet al.2016Formal Methods in System Design