English
复旦大学
首页
科学研究
研究领域
论文成果
专利
著作成果
科研项目
教学研究
教学资源
授课信息
教学成果
获奖信息
招生信息
学生信息
我的相册
社会服务
学术组织
社会职务
其他
教师博客
更多
周扬帆
( 教授 博士生导师 )
教师拼音名称：ZHOU YANGFAN
所在单位：计算与智能创新学院
学历：研究生毕业
学位：博士学位
在职信息：在职
毕业院校：香港中文大学
中文主页
>>
科学研究
>>
论文成果
论文成果
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
发布时间：2021-04-02
点击次数：
发表刊物：
IEEE Transactions on Dependable and Secure Computing
编号：
SY128181
卷号：
17
期号：
6
页面范围：
1243-1256
是否译文：
否
发表时间：
2020-01-01
上一条：
Detecting anomalous users via streaming data processing in smart grid
下一条：
Understanding I/O performance of IPFS storage: A client's perspective
