TY  - RPRT
TI  - Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
AU  - Taolue Chen
AU  - Matthew Hague
AU  - Anthony W. Lin
AU  - Philipp Rümmer
AU  - Zhilin Wu
PY  - 2018
UR  - https://arxiv.org/abs/1811.03167
ID  - 1811.03167
ER  -