A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.

Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rmmer, Zhilin Wu

Browse the full ATVA paper archive.