@misc{indiciae323bd76ec1fb,
  title = {A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type},
  author = {Taolue Chen and Matthew Hague and Jinlong He and Denghang Hu and Anthony Widjaja Lin and Philipp Rummer and Zhilin Wu},
  year = {2020},
  url = {https://arxiv.org/abs/2007.06913},
  note = {Source identifier: 2007.06913}
}