{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:44:53Z","timestamp":1748583893640,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_8","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:04:43Z","timestamp":1522746283000},"page":"129-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9368-7347","authenticated-orcid":false,"given":"Joonyoung","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7455-5138","authenticated-orcid":false,"given":"Kwangwon","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0019-9772","authenticated-orcid":false,"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"key":"8_CR1","unstructured":"Alimadadi, S., Mesbah, A., Pattabiraman, K.: Hybrid DOM-sensitive change impact analysis for JavaScript. In: ECOOP 2015 (2015)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Andreasen, E., M\u00f8ller, A.: Determinacy in static analysis for jQuery. In: OOPSLA 2014 (2014)","DOI":"10.1145\/2660193.2660214"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Andreasen, E.S., M\u00f8ller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: SOAP 2017 (2017)","DOI":"10.1145\/3088515.3088521"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-17524-9_1","volume-title":"NASA Formal Methods","author":"C Calcagno","year":"2015","unstructured":"Calcagno, C., et al.: Moving fast with software verification. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 3\u201311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_1"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Ernst, M.D.: Static and dynamic analysis: synergy and duality. In: PASTE 2004 (2004)","DOI":"10.1145\/996821.996823"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Grech, N., Fourtounis, G., Francalanza, A., Smaragdakis, Y.: Heaps don\u2019t lie: countering unsoundness with heap snapshots. In: OOPSLA 2017 (2017)","DOI":"10.1145\/3133892"},{"key":"8_CR7","unstructured":"Guarnieri, S., Livshits, B.: GATEKEEPER: mostly static enforcement of security and reliability policies for JavasSript code. In: SSYM 2009 (2009)"},{"key":"8_CR8","unstructured":"Intel: HTML5 web apps (2017). https:\/\/01.org\/html5webapps\/webapps"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Jensen, S.H., Madsen, M., M\u00f8ller, A.: Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. In: ESEC\/FSE 2011 (2011)","DOI":"10.1145\/2025113.2025125"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-03237-0_17","volume-title":"Static Analysis","author":"SH Jensen","year":"2009","unstructured":"Jensen, S.H., M\u00f8ller, A., Thiemann, P.: Type analysis for JavaScript. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol. 5673, pp. 238\u2013255. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03237-0_17"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Ko, Y., Lee, H., Dolby, J., Ryu, S.: Practically tunable static analysis framework for large-scale JavaScript applications. In: ASE 2015 (2015)","DOI":"10.1109\/ASE.2015.28"},{"key":"8_CR12","unstructured":"Lee, H., Won, S., Jin, J., Cho, J., Ryu, S.: SAFE: formal specification and implementation of a scalable analysis framework for ECMAScript. In: FOOL 2012 (2012)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Madsen, M., Tip, F., Lhot\u00e1k, O.: Static analysis of event-driven Node.js JavaScript applications. In: OOPSLA 2015 (2015)","DOI":"10.1145\/2814270.2814272"},{"key":"8_CR14","unstructured":"Park, C., Ryu, S.: Scalable and precise static analysis of JavaScript applications via loop-sensitivity. In: ECOOP 2015 (2015)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Park, C., Won, S., Jin, J., Ryu, S.: Static analysis of JavaScript web applications in the wild via practical DOM modeling. In: ASE 2015 (2015)","DOI":"10.1109\/ASE.2015.27"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Park, J., Lim, I., Ryu, S.: Battles with false positives in static analysis of JavaScript web applications in the wild. In: ICSE-SEIP 2016 (2016)","DOI":"10.1145\/2889160.2889227"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Richards, G., Lebresne, S., Burg, B., Vitek, J.: An analysis of the dynamic behavior of JavaScript programs. In: PLDI 2010 (2010)","DOI":"10.1145\/1806596.1806598"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Sadowski, C., Van Gogh, J., Jaspan, C., S\u00f6derberg, E., Winter, C.: Tricorder: building a program analysis ecosystem. In: ICSE 2015 (2015)","DOI":"10.1109\/ICSE.2015.76"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., Sridharan, M., Dolby, J., Tip, F.: Dynamic determinacy analysis. In: PLDI 2013 (2013)","DOI":"10.1145\/2491956.2462168"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Sen, K., Kalasapur, S., Brutch, T., Gibbs, S.: Jalangi: a selective record-replay and dynamic analysis framework for JavaScript. In: ESEC\/FSE 2013 (2013)","DOI":"10.1145\/2491411.2491447"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Sung, C., Kusano, M., Sinha, N., Wang, C.: Static DOM event dependency analysis for testing web applications. In: FSE 2016 (2016)","DOI":"10.1145\/2950290.2950292"},{"key":"8_CR22","unstructured":"TIOBE: TIOBE Index for September 2017. http:\/\/www.tiobe.com\/tiobe-index"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Tripp, O., Ferrara, P., Pistoia, M.: Hybrid security analysis of web JavaScript code via dynamic partial evaluation. In: ISSTA 2014 (2014)","DOI":"10.1145\/2610384.2610385"},{"key":"8_CR24","unstructured":"Tripp, O., Weisman, O.: Hybrid analysis for JavaScript security assessment. In: ESEC\/FSE 2011 (2011)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Wang, Y., Zhang, H., Rountev, A.: On the unsoundness of static analysis for android GUIs. In: SOAP 2016 (2016)","DOI":"10.1145\/2931021.2931026"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Wei, S., Ryder, B.G.: Practical blended taint analysis for JavaScript. In: ISSTA 2013 (2013)","DOI":"10.1145\/2483760.2483788"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T20:16:52Z","timestamp":1570997812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}