SymJS公司 swMATH ID: 30522 软件作者： Li，G.、Andreasen，E.、Ghosh，I。 描述： SymJS：JavaScript web应用程序的自动符号测试。我们介绍了SymJS，一个用于自动测试客户端JavaScript Web应用程序的综合框架。该工具包含JavaScript的符号执行引擎和Web页面的自动事件资源管理器。在没有任何用户干预的情况下，SymJS可以自动发现和探索Web事件，象征性地执行关联的JavaScript代码，根据动态反馈优化执行，并生成高覆盖率的测试用例。符号引擎包含一个符号虚拟机、一个字符串数值解算器和一个符号可执行DOM模型。SymJS的创新包括用于JavaScriptWeb的新型符号虚拟机、符号+动态反馈导向的事件空间探索，以及用于增强事件序列构建的动态污点分析。我们演示了SymJS在标准JavaScript基准测试和各种实际Web应用程序上的有效性。SymJS平均达到90以上 主页： https://dl.acm.org/citation.cfm？id=2635913 依赖项： JavaScript脚本 相关软件： 第3章;Z3-街道;通过;汉普;吉隆坡机场;z3（零3）;SMT-LIB公司;Gecode公司;投掷;ExpoSE公司;JSAI公司;Z3str3号机组;jCUTE公司;杰伦吉;StrSolve解决方案;诺恩;TCAS公司;JavaScript脚本;迷你锌;可爱的 引用于： 1文件 全部的 前5名7位作者引用 1 墨菲·贝尔齐什 1 朱利安·杜比 1 维杰·加内什 1 萨努苏布拉曼尼亚语 1 奥马尔·特里普 1 张湘玉 1 郑云辉 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文