|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：中国科学技术大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：计算机系统结构. 软件工程
办公地点：软件学院综合楼415
联系方式：
电子邮箱：
扫描关注
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
点击次数：
论文类型：期刊论文
论文编号：387551
发表时间：2024-04-18
发表刊物：IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
卷号：50
期号：4
页面范围：937-955
ISSN号：0098-5589
关键字：COMPILER BUGS; DESIGN; TRANSLATION VALIDATION; VERIFICATION