{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:08:46Z","timestamp":1776305326193,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491456","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"114-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":134,"title":["Z3-str: a z3-based string solver for web application analysis"],"prefix":"10.1145","author":[{"given":"Yunhui","family":"Zheng","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Ganesh","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336760"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.31"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866375"},{"key":"e_1_3_2_1_6_1","volume-title":"An SMT-LIB Format for Sequences and Regular Expressions. In SMT workshop","author":"Bj\u00f8rner N.","year":"2012","unstructured":"N. Bj\u00f8rner , V. Ganesh , R. Michel and M. Veanes . An SMT-LIB Format for Sequences and Regular Expressions. In SMT workshop 2012 . N. Bj\u00f8rner, V. Ganesh, R. Michel and M. Veanes. An SMT-LIB Format for Sequences and Regular Expressions. In SMT workshop 2012."},{"key":"e_1_3_2_1_7_1","unstructured":"N. Bj\u00f8rner N. Tillmann and A. Voronkov. Path Feasibility Analysis for String-Manipulating Programs. In TACAS\u201909.  N. Bj\u00f8rner N. Tillmann and A. Voronkov. Path Feasibility Analysis for String-Manipulating Programs. In TACAS\u201909."},{"key":"e_1_3_2_1_8_1","unstructured":"A. Christensen A. M\u00f8ller and M. Schwartzbach. Precise analysis of string expressions. In SAS\u201903.   A. Christensen A. M\u00f8ller and M. Schwartzbach. Precise analysis of string expressions. In SAS\u201903."},{"key":"e_1_3_2_1_9_1","unstructured":"V. Ganesh and D. L. Dill. A decision procedure for bit-vectors and arrays. In CAV\u201907.   V. Ganesh and D. L. Dill. A decision procedure for bit-vectors and arrays. In CAV\u201907."},{"key":"e_1_3_2_1_10_1","unstructured":"V. Ganesh M. Minnes A. Solar-Lezama and M. Rinard. Word equations with length constraints: what\u2019s decidable? In HVC\u201912.  V. Ganesh M. Minnes A. Solar-Lezama and M. Rinard. Word equations with length constraints: what\u2019s decidable? In HVC\u201912."},{"key":"e_1_3_2_1_11_1","unstructured":"C. Guti\u00e9rrez. Solving Equations in Strings: On Makanin\u2019s Algorithm. In LATIN\u201998  C. Guti\u00e9rrez. Solving Equations in Strings: On Makanin\u2019s Algorithm. In LATIN\u201998"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542498"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859080"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/78935.78938"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. Steklov Inst. Math. 107","author":"Khmelevskii Y.","year":"1971","unstructured":"Y. Khmelevskii . Equation in free semigroups. In Trudy Math. Inst. Steklov. 107 (1971); English Transl ., Proc. Steklov Inst. Math. 107 ( 1971 ). Y. Khmelevskii. Equation in free semigroups. In Trudy Math. Inst. Steklov. 107 (1971); English Transl., Proc. Steklov Inst. Math. 107 (1971)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1070\/SM1977v032n02ABEH002376"},{"key":"e_1_3_2_1_18_1","unstructured":"L. Moura and N. Bj\u00f8rner. Z3: An E\ufb03cient SMT Solver. In TACAS\u201908.  L. Moura and N. Bj\u00f8rner. Z3: An E\ufb03cient SMT Solver. In TACAS\u201908."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132516.1132584"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2389836.2389853"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.38"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881904"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555860.1555868"},{"key":"e_1_3_2_1_24_1","unstructured":"F. Sun L. Xu and Z. Su. Static detection of access control vulnerabilities in web applications. In USENIX Security\u201911.   F. Sun L. Xu and Z. Su. Static detection of access control vulnerabilities in web applications. In USENIX Security\u201911."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001441"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.15"},{"key":"e_1_3_2_1_27_1","unstructured":"M. Veanes N. Bj\u00f8rner and L. Moura. Symbolic automata constraint solving. In LPAR-17.   M. Veanes N. Bj\u00f8rner and L. Moura. Symbolic automata constraint solving. In LPAR-17."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_33"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_28"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_13"},{"key":"e_1_3_2_1_31_1","unstructured":"Y. Zheng and X. Zhang. Static Detection of Resource Contention Problems in Server-Side Scripts. In ICSE\u201912.   Y. Zheng and X. Zhang. Static Detection of Resource Contention Problems in Server-Side Scripts. In ICSE\u201912."},{"key":"e_1_3_2_1_32_1","unstructured":"Y. Zheng and X. Zhang. Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection. In ICSE\u201913.   Y. Zheng and X. Zhang. Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection. In ICSE\u201913."}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491456","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":31,"alternative-id":["10.1145\/2491411.2491456","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491456","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}