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 conferencePaperpeer-review

E-pub ahead of print

Documents

  • Taolue Chen
  • Matthew Hague
  • Jinlong He
  • Denghang Hu
  • Anthony Lin
  • Philipp Ruemmer
  • Zhilin Wu
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
CountryViet Nam
CityHanoi
Period19/10/2023/10/20
Internet address
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 38686939