TY  - RPRT
TI  - A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
AU  - Taolue Chen
AU  - Matthew Hague
AU  - Jinlong He
AU  - Denghang Hu
AU  - Anthony Widjaja Lin
AU  - Philipp Rummer
AU  - Zhilin Wu
PY  - 2020
UR  - https://arxiv.org/abs/2007.06913
ID  - 2007.06913
ER  -