退出
我的积分:
中文文献批量获取
外文文献批量获取
万琳; 刘娟; 金丽亚;
中国计算机学会;
东北大学;
软件测试; 语法树; 控制流图; 故障测试;
机译:使用Specc中描述的程序切片检测未初始化的变量和未使用的变量
机译:使用Photo描述的程序切片检测未初始化的变量和未使用的变量
机译:二进制代码中未初始化堆栈变量的静态检测
机译:Java程序中类不变量的静态分析
机译:GCN4翻译控制的故障安全机制-uORF2通过类似于uORF1的机制促进重新初始化从而确保其在GCN4表达中的关键作用
机译:用Clang静态分析仪检测C ++中的未初始化变量
机译:用于识别RsmL规范中的不变量的静态分析。
机译:在本地范围之外查找未初始化的变量
机译:跨函数的未初始化变量的运行时检测
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。