Tokyo Research Laboratory, IBM Research 1623-14 Shimotsuruma, Yamato-shi, Kanagawa-ken, 242-8502 Japan;
DHTML accessibility; javascript; static program analysis;
机译:基于优化的规则检查静态分析技术的高效漏洞检测
机译:基于优化的规则检查静态分析技术的高效漏洞检测
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
机译:基于静态JavaScript分析的DHTML辅助功能检查
机译:ux-rule:一个JavaScript框架,用于网页的动态和静态可访问性测试。
机译:基于易于访问的临床指标的黑色素瘤患者的免疫检查点阻断单药治疗反应预测
机译:在Javascript中静态检查Web apI请求
机译:结合静态分析和模型检验进行软件分析