A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. / Chen, Taolue; Hague, Matthew; He, Jinlong; Hu, Denghang; Lin, Anthony; Ruemmer, Philipp; Wu, Zhilin.
2020. 325-342 Paper presented at International Symposium on Automated Technology for Verification and Analysis, Hanoi, Viet Nam.Research output: Contribution to conference › Paper
Accepted author manuscript, 207 KB, PDF document
Original language | English |
---|---|
Pages | 325-342 |
Number of pages | 18 |
DOIs | |
Publication status | E-pub ahead of print - 12 Oct 2020 |
Event | International Symposium on Automated Technology for Verification and Analysis - Vietnam National University, Hanoi, Viet Nam Duration: 19 Oct 2020 → 23 Oct 2020 Conference number: 18 http://fit.uet.vnu.edu.vn/atva2020/ |
Conference | International Symposium on Automated Technology for Verification and Analysis |
---|---|
Abbreviated title | ATVA |
Country | Viet Nam |
City | Hanoi |
Period | 19/10/20 → 23/10/20 |
Internet address |
Project: Research
ID: 38686939