刘丽宏 沈昌祥 马萍 林锦滨 刘毅 赵长琦 刘河 刘晓枫 程绍银 张兴 王玲 王嘉捷 吴诚 蒋凡 李鹏飞 杨润涛

密钥对象 回归测试 软件演进 密钥管理 两性霉素B 缺陷发现 可信计算 测试生成 液相色谱串联质谱法 按需符号执行 生物损伤 软件缺陷 交联壳聚糖 组织分布 授权数据 促排剂 补丁 静态分析 离子模板 铀螯合剂 符号执行 约束求解 贫铀 脂质卷 分子印迹

100875北京 信息工程大学电子技术学院 100850北京 北京师范大学生命科学学院 河南郑州 中国人民解放军军事医学科学院 北京工业大学可信计算实验室 中国人民解放军第二炮兵总医院药剂科