A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. / Hague, Matthew; Wu, Zhilin; Chen, Taolue; Lin, Anthony; Ruemmer, Philipp; He, Jinlong; Hu, Denghang.

2020. Paper presented at International Symposium on Automated Technology for Verification and Analysis, Hanoi, Viet Nam.

Research output: Contribution to conference › Paper

Forthcoming

Documents

  • Accepted Manuscript

    Accepted author manuscript, 207 KB, PDF document

  • Matthew Hague
  • Zhilin Wu
  • Taolue Chen
  • Anthony Lin
  • Philipp Ruemmer
  • Jinlong He
  • Denghang Hu
Original languageEnglish
Publication statusAccepted/In press - 24 Jun 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 titleATVA
CountryViet Nam
CityHanoi
Period19/10/20 → 23/10/20
Internet address

Projects

ID: 38686939

Find an expert

Computer Science home
Research
Profile
Researchers
Publications
Projects