曾松伟 冯冬芹 贝劲松 董婕 陈通照 洪先龙 薛宏熙 刘石民 邵明 李光辉 胡瑜 边计年 韩银和 刘春和 闵应骅 龙望宁 王芳雷 李晓维

等价性验证 自动测试生成系统 误差函数 模拟 增量可满足性 误差检测 初级输入 测试码 双色图 静态冒险 误差模型 确定的函数 测试产生 流程 兼容 测试信号发生器 同型结 分离锥体 质蕴涵项 扇出重汇聚 测试生成算法 同时故障模拟 形式验证 布尔可满足性 计数器 二叉判决图 移位寄存器 多重误差 等价性检验 乘积项