Symbolic testing of floating-point bugs and exceptions
发布时间：2024-12-24 点击次数：
梁洪亮（副教授）
+
- 博士生导师 硕士生导师
- 教师英文名称：Liang Hongliang
- 电子邮箱：
- 所在单位：计算机学院（国家示范性软件学院）
- 职务：副教授
- 学历：研究生毕业
- 办公地点：教三楼821室
- 性别：男
- 联系方式：hliang@bupt.edu.cn
- 学位：博士学位
- 在职信息：在职
- 毕业院校：中国科学院软件研究所
- 学科：计算机科学与技术*
- 所属院系：计算机学院（国家示范性软件学院）
- 招生学科： 计算机科学与技术*
- 曾获荣誉：
2005当选：北京市科技进步奖二等奖；
2007当选：中科院软件所研究生优秀指导教师；
2016当选：北京邮电大学大学生创新创业优秀指导教师
- 邮编：
- 通讯/办公地址：
- 邮箱：
访问量：
开通时间：..
最后更新时间：..
- 发表刊物：JOURNAL OF SYSTEMS AND SOFTWARE
- 论文类型：期刊
- 论文编号：6720eb0a0192103095837d54
- 卷号：219
- ISSN号：0164-1212
- 是否译文：否
- 发表时间：2025-01-01