黄蕾 赵志宏 聂长海 刘贻灿 董国伟 梁陈良 章晓芳 刘峰 古晓锋 李磊芳 李曙光 祁明 徐宝文

数字签名 访问控制 深层网络 电子货币 模型检验 身份认证 布尔规格测试 褐帘石 超高压变质作用 结果集成 信息抽取 北大别杂岩带 软件测试 氟磷灰石 榴辉岩 时序逻辑 测试用例 测试用例生成 搜索技术

华南理工大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室 东南大学计算机科学与工程学院 安徽合肥 江苏省软件质量研究所 中国科学院壳幔物质与环境重点实验室中国科... 苏州大学计算机科学与技术学院 南京大学计算机科学与技术系