logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Rafael Menezes

University of Manchester

6H指数
31论文数
112被引数
收录论文 1
发表时间
logo
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs结合BMC和fuizing技术发现并发程序中的软件漏洞
errIEEE ACCESS
IF3.6
err2022-01-01
err4
errOAAI
errAljaafari, Fatimah K.; Menezes, Rafael; Manino, Edoardo; Shmarov, Fedor; Mustafa, Mustafa A.; Cordeiro, Lucas C.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lucas C. Cordeiro
H 指数: 24 · 论文数: 295
M
Mustafa Mustafa
H 指数: 19 · 论文数: 369
F
Fedor Shmarov
H 指数: 8 · 论文数: 37
E
Edoardo Manino
H 指数: 6 · 论文数: 41
F
Fatimah Aljaafari
H 指数: 2 · 论文数: 12
已加载全部