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

doi:10.1007/978-3-030-59152-6_18

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

64 Downloads (Pure)

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/Territory	Viet Nam
City	Hanoi
Period	19/10/20 → 23/10/20
Internet address	http://fit.uet.vnu.edu.vn/atva2020/

Access to Document

10.1007/978-3-030-59152-6_18

Accepted ManuscriptAccepted author manuscript, 207 KB

String Constraint Solving with Real-World Regular Expressions
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research

Cite this

Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P., & Wu, Z. (2020). A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. 325-342. Paper presented at International Symposium on Automated Technology for Verification and Analysis, Hanoi, Viet Nam. Advance online publication. https://doi.org/10.1007/978-3-030-59152-6_18

@conference{2c89f2e6a61445c2b2dfc9ffa9bf7b02,

title = "A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type",

author = "Taolue Chen and Matthew Hague and Jinlong He and Denghang Hu and Anthony Lin and Philipp Ruemmer and Zhilin Wu",

year = "2020",

month = oct,

day = "12",

doi = "10.1007/978-3-030-59152-6\_18",

language = "English",

pages = "325--342",

note = " International Symposium on Automated Technology for Verification and Analysis, ATVA ; Conference date: 19-10-2020 Through 23-10-2020",

url = "http://fit.uet.vnu.edu.vn/atva2020/",

}

TY - CONF

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

AU - Chen, Taolue

AU - Hague, Matthew

AU - He, Jinlong

AU - Hu, Denghang

AU - Lin, Anthony

AU - Ruemmer, Philipp

AU - Wu, Zhilin

N1 - Conference code: 18

PY - 2020/10/12

Y1 - 2020/10/12

U2 - 10.1007/978-3-030-59152-6_18

DO - 10.1007/978-3-030-59152-6_18

M3 - Paper

SP - 325

EP - 342

T2 - International Symposium on Automated Technology for Verification and Analysis

Y2 - 19 October 2020 through 23 October 2020

ER -

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

Conference

Access to Document

Projects

String Constraint Solving with Real-World Regular Expressions

Cite this