退出
我的积分:
中文文献批量获取
外文文献批量获取
宁国秀; 牟永敏; 申闫春; 张志华;
北京信息科技大学;
北京100101;
函数调用路径; 数据流; 程序切片;
机译:对Erlang中的函数调用的静态分析。通过使用数据流分析,用动态调用信息完善静态函数调用图
机译:基于函数调用路径的数据变化分析
机译:基于函数调用路径的测试用例重用技术研究?
机译:可重定位的编译器中基于模型的函数调用代码生成和堆栈管理:堆栈布局和函数调用序列的应用程序二进制接口建模
机译:一种基于增量数据流分析的软件故障定位和重新验证方法。
机译:使用基于元路径的语义网络分析进行计算药物重新定位
机译:错误应该在哪里修复?基于错误报告的基于Revical的基于错误定位更准确的信息
机译:数据流分析作为文档,断言生成,验证和错误检测中的辅助工具。
机译:通过基于路径概要信息的成本效益数据流分析来利用推测和谓词来优化代码
机译:基于全球导航卫星系统数据多路径错误的纠正方法,基于全球导航卫星系统的桥梁过失错误处理方法和质量控制
机译:包括路径优化在内的路径敏感数据流分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。