{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:00:08Z","timestamp":1725732008644},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388552"},{"type":"electronic","value":"9783642388569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38856-9_12","type":"book-chapter","created":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T00:05:28Z","timestamp":1371254728000},"page":"194-214","source":"Crossref","is-referenced-by-count":4,"title":["Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing"],"prefix":"10.1007","author":[{"given":"Hyunha","family":"Kim","sequence":"first","affiliation":[]},{"given":"Kyung-Goo","family":"Doh","sequence":"additional","affiliation":[]},{"given":"David A.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"HTML 4.01 Transitional DTD W3C Recommendation (December 24, 1999), \n                  \n                    http:\/\/www.w3.org\/TR\/html4\/loose.dtd"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, G.: Simultaneous demand-driven data-flow and call graph analysis. In: Proc. International Conference on Software Maintenance, Oxford (1999)","DOI":"10.1109\/ICSM.1999.792643"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.I.: The <bigwig> project. ACM Transaction on Internet Technology\u00a02 (2002)","DOI":"10.1145\/514183.514184"},{"key":"12_CR4","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":"12_CR5","doi-asserted-by":"crossref","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Static analysis for dynamic XML. In: Proc. PLAN-X 2002 (2002)","DOI":"10.7146\/brics.v9i24.21740"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Extending Java for high-level web service construction. ACM TOPLAS\u00a025 (2003)","DOI":"10.1145\/945885.945890"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-03237-0_18","volume-title":"Static Analysis","author":"K.-G. Doh","year":"2009","unstructured":"Doh, K.-G., Kim, H., Schmidt, D.A.: Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol.\u00a05673, pp. 256\u2013272. Springer, Heidelberg (2009)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Doh, K.-G., Kim, H., Schmidt, D.A.: Abstract LR-parsing. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Talcott Festschrift. LNCS, vol.\u00a07000, pp. 90\u2013109. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24933-4_6"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1145\/267959.269970","volume":"19","author":"E. Duesterwald","year":"1997","unstructured":"Duesterwald, E., Gupta, R., Soffa, M.L.: A practical framework for demand-driven interprocedural data flow analysis. ACM TOPLAS\u00a019, 992\u20131030 (1997)","journal-title":"ACM TOPLAS"},{"key":"12_CR10","unstructured":"Hopcroft, J., Ullman, J.: Formal Languages and their Relation to Automata. Addison Wesley (1969)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T., Sagiv, M.: Demand interprocedural dataflow analysis. In: Proc. 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering (1995)","DOI":"10.1145\/222124.222146"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11823230_22","volume-title":"Static Analysis","author":"C. Kirkegaard","year":"2006","unstructured":"Kirkegaard, C., M\u00f8ller, A.: Static analysis for Java Servlets and JSP. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 336\u2013352. Springer, Heidelberg (2006)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Minamide, Y.: Static approximation of dynamically generated web pages. In: Proc. 14th International Conference on World Wide Web, pp. 432\u2013441 (2005)","DOI":"10.1145\/1060745.1060809"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/11924661_22","volume-title":"Programming Languages and Systems","author":"Y. Minamide","year":"2006","unstructured":"Minamide, Y., Tozawa, A.: XML validation for context-free grammars. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 357\u2013373. Springer, Heidelberg (2006)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-642-19805-2_29","volume-title":"Foundations of Software Science and Computational Structures","author":"A. M\u00f8ller","year":"2011","unstructured":"M\u00f8ller, A., Schwarz, M.: HTML validation of context-free languages. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 426\u2013440. Springer, Heidelberg (2011)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-70844-5_13","volume-title":"Implementation and Applications of Automata","author":"T. Nishiyama","year":"2008","unstructured":"Nishiyama, T., Minamide, Y.: A translation from the HTML DTD into a regular hedge grammar. In: Ibarra, O.H., Ravikumar, B. (eds.) CIAA 2008. LNCS, vol.\u00a05148, pp. 122\u2013131. Springer, Heidelberg (2008)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Thiemann, P.: Grammar-based analysis of string expressions. In: Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pp. 59\u201370 (2005)","DOI":"10.1145\/1040294.1040300"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Wassermann, G., Su, Z.: The essence of command injection attacks in web applications. In: Proc. 33rd ACM Symp. POPL, pp. 372\u2013382 (2006)","DOI":"10.1145\/1111320.1111070"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Wassermann, G., Su, Z.: Sound and precise analysis of web applications for injection vulnerabilities. In: Proc. ACM PLDI, pp. 32\u201341 (2007)","DOI":"10.1145\/1273442.1250739"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38856-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:57:46Z","timestamp":1557795466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38856-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388552","9783642388569"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38856-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}