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

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

Research output: Contribution to conferencePaperpeer-review

22 Downloads (Pure)
Original languageEnglish
Pages325-342
Number of pages18
DOIs
Publication statusE-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 202023 Oct 2020
Conference number: 18
http://fit.uet.vnu.edu.vn/atva2020/

Conference

Conference International Symposium on Automated Technology for Verification and Analysis
Abbreviated titleATVA
Country/TerritoryViet Nam
CityHanoi
Period19/10/2023/10/20
Internet address

Cite this