何彦 杨士元 邝继顺 李晓维 张大方 李立健 李忠诚 张保定 骆祖莹 谢高岗 李华伟 潘榆奇 李锦涛 赵瑞莲 牛小燕

单跳变敏化 原型 测试功耗 波形模拟 FAN算法 故障覆盖率 软件测试 动态模拟 测试产生 冒险 开路故障 时间参数 定义域 算法 FFR 全速电流测试 时延测试 测试生成 网络管理系统 布尔过程 边界 程序抽取 路径 程序定义域 非数值变量 结构分析 故障管理 实验研究 层次模型 数据流分析

中国科学院计算技术研究所网络研究室 清华大学自动化系 中国科学院计算技术研究所CAD开放研究实... 中国科学院计算技术研究所信息网络研究室 中国科学院计算技术研究所 湖南大学计算机科学系 湖南大学计算机与通信学院