任志磊

个人信息Personal Information

教授

博士生导师

硕士生导师

任职 : 先进工业与软件工程研究所所长

性别：男

毕业院校：大连理工大学

学位：博士

所在单位：软件学院、国际信息与软件学院

电子邮箱：zren@dlut.edu.cn

扫描关注

论文成果

当前位置: 任志磊 >> 科学研究 >> 论文成果

点击次数：

发表时间：2024-03-30

发表刊物：软件学报

关键字：SMT求解器; 历史频谱; 缺陷定位; 覆盖频谱

上一条：面向JavaScript引擎报错机制的类别导向模糊测试方法

下一条：A Comprehensive Study of WebAssembly Runtime Bugs