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

Patrice Godefroid

机构信息待补充

60H指数
147论文数
1.7W被引数
收录论文 3
发表时间
logo
SAGE: Whitebox Fuzzing for Security TestingSAGE: 用于安全测试的白盒模糊测试
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-03-01
err379
PREAI
errGodefroid, Patrice; Levin, Michael Y.; Molinar, David
err分享
err收藏
Automating software testing using program analysis
errIEEE SOFTWARE
IF3
err2008-09-01
err56
PREAI
errGodefroid, Patrice; de Halleux, Peli; Nori, Aditya V.; Rajamani, Sriram K.; Schulte, Wolfram; Tillmann, Nikolai; Levin, Michael Y.
err分享
err收藏
Using partial-order methods in the formal validation of industrial concurrent programs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1996-07-01
err25
PREAI
errGodefroid, P; Peled, D; Staskauskas, M
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Sriram K. Rajamani
H 指数: 55 · 论文数: 209
W
Wolfram Schulte
H 指数: 46 · 论文数: 239
D
Doron Peled
H 指数: 43 · 论文数: 251
N
Nikolai Tillmann
H 指数: 41 · 论文数: 168
D
Dávid Molnár
H 指数: 31 · 论文数: 107
查看更多