搜索到 篇“ 程序静态分析 “的相关文章

相关作者

姜淑娟
作品数：156被引量：379H指数：11
供职机构：中国矿业大学计算机科学与技术学院
研究主题：软件测试 异常处理 程序切片 切片 堆栈
李昂
作品数：49被引量：5H指数：1
供职机构：华东师范大学
研究主题：目标代码 反汇编 控制流图 自适应 程序模型
张艳梅
作品数：81被引量：195H指数：8
供职机构：中国矿业大学计算机科学与技术学院
研究主题：软件测试 切片 教学改革 软件测试技术 复杂度
史建琦
作品数：147被引量：4H指数：1
供职机构：华东师范大学
研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
武延军
作品数：235被引量：272H指数：10
供职机构：中国科学院软件研究所
研究主题：开源软件 C-V 操作系统 安全漏洞 漏洞