{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T00:23:43Z","timestamp":1769214223834,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540851134","type":"print"},{"value":"9783540851141","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85114-1_21","type":"book-chapter","created":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T03:22:48Z","timestamp":1218597768000},"page":"306-324","source":"Crossref","is-referenced-by-count":53,"title":["Symbolic String Verification: An Automata-Based Approach"],"prefix":"10.1007","author":[{"given":"Fang","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Cova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar H.","family":"Ibarra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Balzarotti, D., Cova, M., Felmetsger, V., Jovanovic, N., Kirda, E., Kruegel, C., Vigna, G.: Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications. In: Proc. Symposium on Security and Privacy (2008)","DOI":"10.1109\/SP.2008.22"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1315245.1315250","volume-title":"Proc. 14th ACM conference on Computer and communications security","author":"D. Balzarotti","year":"2007","unstructured":"Balzarotti, D., Cova, M., Felmetsger, V., Vigna, G.: Multi-module vulnerability analysis of web-based applications. In: Proc. 14th ACM conference on Computer and communications security, pp. 25\u201335. ACM, New York (2007)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Bartzis, C., Bultan, T.: Widening arithmetic automata. In: Proc. 16th International Conference on Computer Aided Verification, pp. 321\u2013333 (2004)","DOI":"10.1007\/978-3-540-27813-9_25"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Automata Implementation","author":"M. Biehl","year":"1997","unstructured":"Biehl, M., Klarlund, N., Rauhe, T.: Algorithms for guided tree automata. In: Raymond, D.R., Yu, S., Wood, D. (eds.) WIA 1996. LNCS, vol.\u00a01260. Springer, Heidelberg (1997)"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Jonsson, B., Nilsson, M., Touili, T.: Regular model checking. In: Proc. 12th International Conference on Computer Aided Verification, pp. 403\u2013418 (2000)","DOI":"10.1007\/10722167_31"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/11924661_23","volume-title":"Programming Languages and Systems","author":"T.-H. Choi","year":"2006","unstructured":"Choi, T.-H., Lee, O., Kim, H., Doh, K.-G.: A practical string analyzer by the widening approach. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 374\u2013388. Springer, Heidelberg (2006)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise analysis of string expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1\u201318. Springer, Heidelberg (2003)"},{"key":"21_CR8","volume-title":"Proc. 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005)","author":"M. Christodorescu","year":"2005","unstructured":"Christodorescu, M., Kidd, N., Goh, W.-H.: String analysis for x86 binaries. In: Proc. 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), September 2005, ACM Press, New York (2005)"},{"key":"21_CR9","first-page":"87","volume-title":"Proc. 31st Annual International Computer Software and Applications Conference","author":"X. Fu","year":"2007","unstructured":"Fu, X., Lu, X., Peltsverger, B., Chen, S., Qian, K., Tao, L.: A static analysis framework for detecting sql injection vulnerabilities. In: Proc. 31st Annual International Computer Software and Applications Conference. COMPSAC 2007, Washington, DC, USA, vol.\u00a01, pp. 87\u201396. IEEE Computer Society, Los Alamitos (2007)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Gerdemann, D., van Noord, G.: Transducers from rewrite rules with backreferences. In: Proc. 9th Conference of the European Chapter of the Association for Computational Linguistics, pp. 126\u2013133 (1999)","DOI":"10.3115\/977035.977053"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Gould, C., Su, Z., Devanbu, P.: Static checking of dynamically generated queries in database applications. In: Proc. 26th International Conference on Software Engineering, pp. 645\u2013654 (2004)","DOI":"10.1109\/ICSE.2004.1317486"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Karttunen, L.: The replace operator. In: Proc. 33rd annual meeting on Association for Computational Linguistics, pp. 16\u201323 (1995)","DOI":"10.3115\/981658.981661"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Minamide, Y.: Static approximation of dynamically generated web pages. In: Proc. 14th International World Wide Web Conference, pp. 432\u2013441 (2005)","DOI":"10.1145\/1060745.1060809"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Mohri, M., Sproat, R.: An efficient compiler for weighted rewrite rules. In: Proc. 34th annual meeting on Association for Computational Linguistics, pp. 231\u2013238. Association for Computational Linguistics (1996)","DOI":"10.3115\/981863.981894"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/TAIC.PART.2007.34","volume-title":"Proc. Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION","author":"D. Shannon","year":"2007","unstructured":"Shannon, D., Hajra, S., Lee, A., Zhan, D., Khurshid, S.: Abstracting symbolic execution with string analysis. In: Proc. Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, Washington, DC, USA, pp. 13\u201322. IEEE Computer Society, Los Alamitos (2007)"},{"key":"21_CR16","unstructured":"van Noord, G.: FSA utilities toolbox, \n                    \n                      http:\/\/odur.let.rug.nl\/~vannoord\/Fsa\/"},{"key":"21_CR17","first-page":"122","volume-title":"Proc. of the 4th International Workshop on Implementing Automata (WIA)","author":"G. Noord van","year":"1999","unstructured":"van Noord, G., Gerdemann, D.: An extendible regular expression compiler for finite-state approaches in natural language processing. In: Proc. of the 4th International Workshop on Implementing Automata (WIA), July 1999, pp. 122\u2013139. Springer, Heidelberg (1999)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Wassermann, G., Su, Z.: Sound and precise analysis of web applications for injection vulnerabilities. In: Proc. ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pp. 32\u201341 (2007)","DOI":"10.1145\/1250734.1250739"},{"key":"21_CR19","unstructured":"Xie, Y., Aiken, A.: Static detection of security vulnerabilities in scripting languages. In: Proc. 15th conference on USENIX Security Symposium, Berkeley, CA, USA, p. 13. USENIX Association (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85114-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:15:05Z","timestamp":1619522105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85114-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851134","9783540851141"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85114-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}