文件大小：1.72 MB 29页
事件驱动Web应用程序符号分析的可信基础结构
作者
-
部分内容： 体积： 第34届欧洲面向对象编程会议（ECOOP 2020）
系列： 莱布尼茨国际信息学论文集
会议： 欧洲面向对象编程会议 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2020-11-06
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
软件及其工程→正式软件验证 软件及其工程→软件测试和调试
关键词
事件 多姆 JavaScript脚本 承诺 符号执行 错误查找
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
S.Alimadadi、D.Zhong、M.Madsen和F.Tip。 在异步JavaScript程序中发现失约。 PACMPL，2（OOPSLA）：162:1-162:262018年。 
-
R.Baldoni、E.Coppa、D.Cono D'Elia、C.Demetrescu和I.Finocchi。 符号执行技术综述。 ACM计算调查，51（3）：50:1-50:392018。
-
C.Cadar、P.Godefroid、S.Khurshid、C.S.P'Séreanu、K.Sen、N.Tillmann和W.Visser。 软件测试实践中的符号执行：初步评估。 ICSE，2011年。
-
C.Cadar和K.Sen.软件测试的符号执行：三十年后。 Commun公司。 ACM，56:82-902013年。
-
C.Calcagno、P.Gardner和U.Zarfaty。 上下文逻辑和树更新。 在POPL，2005年。
-
ECMA TC39。 Test262测试套件。 https://github.com/tc39/test262 ，于2020年5月访问。 -
ECMA TC39。 ECMAScript标准。 https://www.ecma-international.org/publications/standards/ecma-262.htm ，于2020年5月访问。 -
ECMA TC39。 ECMAScript标准-第6版。 http://www.ecma-international.org/ecma-262/6.0/ ，于2020年5月访问。 -
ECMA TC39。 ECMAScript标准-第9版。 http://www.ecma-international.org/ecma-262/9.0/ ，于2020年5月访问。 -
A.M.Fard、A.Mesbah和E.Wohlstadter。 为JavaScript单元测试生成Fixtures（T）。 在ASE，2015年。
-
J.Fragoso Santos、P.Maksimović、S.-E.Ayoun和Philippa G.Gillian，第1部分：符号执行的多语言框架。 PLDI，2020年。
-
J.Fragoso Santos、P.Maksimović、T.Grohens、J.Dolby和P.Gardner。 JavaScript的符号执行。 2018年PPDP。
-
J.Fragoso Santos、P.Maksimović、G.Sampaio和P.Gardner。 JaVerT 2.0：JavaScript的合成符号执行。 PACMPL，3（POPL）：2019年第66期。
-
K.Gallaba、A.Mesbah和I.Beschastnikh。 不要给我们打电话，我们会给你打电话：用Javascript描述回调。 ESEM，2015年。
-
P.Gardner、G.Smith、M.J.Wheelhouse和U.Zarfaty。 关于DOM的局部恶作剧推理。 PODS，2008年。
-
Gargoyle软件公司HTMUnit。 http://htmlunit.sourceforge.io/ ，于2020年5月访问。 -
A.Guha、C.Saftou和S.Krishnamurthi。 Javascript的本质。 在ECOOP，2010年。
-
S.Holm Jensen、M.Madsen和A.Möller。 在JavaScript Web应用程序的静态分析中建模HTML DOM和浏览器API。 ESEC/FSE，2011年。
-
B.S.Lerner、M.J.Carroll、D.P.Kimmel、H.Quay-De La Vallee和S.Krishnamurthi。 DOM事件的建模和推理。 在WebApps中，2012年。
-
G.Li、E.Andreasen和I.Ghosh。 SymJS：JavaScript Web应用程序的自动符号测试。 在FSE，2014年。
-
M.Loring、M.Marron和D.Leijen。 异步javascript的语义。 DLS，2017年。
-
M.Madsen、O.Lhoták和F.Tip。 JavaScript承诺推理模型。 PACMPL，1（OOPSLA）：86:1-86:24，2017年。
-
M.Madsen、F.Tip和O.Lhotak。 Event-Driven Node.js JavaScript应用程序的静态分析。 2015年，OOPSLA。
-
A.Almeida Matos、J.Fragoso Santos和T.Rezk。 DOM核心的信息流监视器-引入引用和活动原语。 TGC，2014年。
-
Mozilla。 MDN Web文档。 http://developer.mozilla.org/en-US/ ，于2020年5月访问。 -
Mozilla。 使用阴影DOM。 https://developer.mozilla.org/en-US/docs/Web/Web_Components/Using_shadow_DOM ，于2020年5月访问。 -
C.Park、S.Won、J.Jin和S.Ryu。 通过实际DOM建模（T）对JavaScript Web应用程序进行静态分析。 ASE，2015年。
-
J.Gibbs Politz、S.A.Eliopoulos、A.Guha和S.Krishnamurthi。 ADsafety：基于类型的JavaScript沙盒验证。 在2011年USENIX安全研讨会上。
-
V.Rajani、A.Bichhawat、D.Garg和C.Hammer。 事件处理的信息流控制和Web浏览器中的DOM。 2015年，CSF。
-
亚历杭德罗·拉索（Alejandro Russo）、安德烈·萨贝尔菲尔德（Andrei Sabelfeld）和安德烈·丘德诺夫（Andrey Chudnov）。 跟踪动态树结构中的信息流。 在ESORICS，2009年。
-
G.Sampaio、J.Fragoso Santos、P.Maksimović和P.Gardner。 事件驱动Web应用程序符号分析的可信基础设施（技术报告）。 https://vtss.doc.ic.ac.uk/publications/Sampaio2020Trusted.pdf ，于2020年5月访问。 -
J.弗拉戈索·桑托斯（J.Fragoso Santos）、P.Maksimović（P.马克西莫维奇）、D.Naudíiániené（D.Naudćinienö）、T.伍德（T.Wood）和P.加德纳。 JaVerT:JavaScript验证工具链。 PACMPL，2（pop）：50:1-50:32018。
-
K.Sen、S.Kalasapur、T.G.Brutch和S.Gibbs。 Jalangi:JavaScript的选择性记录回放和动态分析框架。 2013年ESEC/FSE’13。
-
G.史密斯。 关于Web程序的本地推理。 2011年，英国帝国理工学院博士论文。
-
山楂属。 p-map（GitHub）。 https://github.com/sindresorhus/p-map ，于2020年5月访问。 -
山楂属。 p-map（npm）。 https://www.npmjs.com/package/p-map ，于2020年5月访问。 -
C.Sung、M.Kusano、N.Sinha和C.Wang。 用于测试Web应用程序的静态DOM事件依赖性分析。 FSE，2016年。
-
方案团队。 算法语言方案的修订报告。 https://schemers.org/Documents/Standards/R5RS/R5RS.pdf ，于2020年5月访问。 -
PreactJS团队。 PreactJS库。 http://preactjs.com ，于2020年5月访问。 -
ReactJS团队。 ReactJS库。 http://reactjs.org ，于2020年5月访问。 -
WebKit团队。 WebKit浏览器引擎。 https://webkit.org ，于2020年5月访问。 -
彼得·蒂曼（Peter Thiemann）。 类型安全DOM API。 DBPL，2005年。
-
E.Torlak和R.Bodík。 使用Rosette增长解算器辅助语言。 前进！， 2013
-
E.Torlak和R.Bodík。 用于求解辅助主机语言的轻量级符号虚拟机。 PLDI，2014年。
-
M.Vanheof、W.De Groef、D.Devriese、F.Piessens和T.Rezk。 事件驱动程序的状态解密策略。 2014年，CSF。
-
W3C公司。 DOM核心1级官方测试套件。 http://www.w3.org/2004/04/ecmascript/level1/core/ ，于2020年5月访问。 -
W3C公司。 DOM核心1级规范。 http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/Level-one-core.html ，于2020年5月访问。 -
W3C公司。 DOM核心2级规范。 http://www.w3.org/TR/2000/REC-DOM-Level-2-Core-20001113/ ，于2020年5月访问。 -
W3C公司。 DOM核心3级规范。 http://www.w3.org/TR/2004/REC-DOM-Level-3-Core-20040407/ ，于2020年5月访问。 -
W3C公司。 DOM Events官方测试套件。 https://github.com/web-platform-tests/wpt/tree/master/dom/events ，于2020年5月访问。 -
W3C公司。 文件API。 http://www.w3.org/TR/FileAPI/ ，于2020年5月访问。 -
W3C公司。 HTML标准。 http://html.spec.whatwg.org/multipage/workers.html#workers ，于2020年5月访问。 -
WHATWG公司。 DOM API规范。 http://dom.spec.whatwg.org ，于2020年5月访问。 -
WHATWG公司。 postMessage API。 https://html.spec.whatwg.org/multipage/web-messaging.html#发布 -消息 ，于2020年5月访问。 -
K.Wheeler、S.Shaw和F.Spampinato。 现金（GitHub）。 https://github.com/kenwheler/cash ，于2020年5月访问。 -
K.Wheeler、S.Shaw和F.Spampinato。 现金（npm）。 https://www.npmjs.com/package/cash-dom ，于2020年5月访问。 -
wpt.fyi公司。 事件浏览器符合性。 http://wpt.fyi/results/dom/events ，于2020年5月访问。 -
Y.纳什瓦恩。 xml-js:xml文本和Javascript对象/JSON文本之间的转换器实用程序。 http://www.npmjs.com/package/xml-js ，于2020年5月访问。 -
邹毅、陈振中、郑毅、张欣和高振中。 虚拟DOM覆盖：推动动态Web应用程序的有效测试。 ISSTA，2014年。