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

Home > Computer Science home > Research > Profile > Publications > A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

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 › peer-review

E-pub ahead of print

Documents

Accepted Manuscript
Accepted author manuscript, 207 KB, PDF document

Taolue Chen
Matthew Hague
Jinlong He
Denghang Hu
Anthony Lin
Philipp Ruemmer
Zhilin Wu

Department of Computer Science

Original language	English
Pages	325-342
Number of pages	18
DOIs	https://doi.org/10.1007/978-3-030-59152-6_18
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

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	http://fit.uet.vnu.edu.vn/atva2020/