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

Standard

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

Harvard

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', Paper presented at International Symposium on Automated Technology for Verification and Analysis, Hanoi, Viet Nam, 19/10/20 - 23/10/20 pp. 325-342. https://doi.org/10.1007/978-3-030-59152-6_18

APA

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. https://doi.org/10.1007/978-3-030-59152-6_18

Vancouver

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

Author

Chen, Taolue ; Hague, Matthew ; He, Jinlong ; Hu, Denghang ; Lin, Anthony ; Ruemmer, Philipp ; Wu, Zhilin. / A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. Paper presented at International Symposium on Automated Technology for Verification and Analysis, Hanoi, Viet Nam.18 p.

BibTeX

@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/",

}

RIS

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 -