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

相关作者

姜淑娟
作品数：160被引量：409H指数：12
供职机构：中国矿业大学计算机科学与技术学院
研究主题：软件测试 异常处理 程序切片 切片 堆栈
张艳梅
作品数：95被引量：222H指数：10
供职机构：中国矿业大学
研究主题：软件测试 切片 软件测试技术 复杂度 教学改革
李昂
作品数：49被引量：5H指数：1
供职机构：华东师范大学
研究主题：目标代码 反汇编 控制流图 自适应 程序模型
史建琦
作品数：151被引量：8H指数：2
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 控制流图 中间语言
李宣东
作品数：301被引量：849H指数：16
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统