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

Bernard Botella

CEA

14H指数
34论文数
822被引数
收录论文 3
发表时间
logo
Infeasible path generalization in dynamic symbolic execution动态符号执行中的不可行路径泛化
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2015-02-01
err16
PREAI
errDelahaye, Mickael; Botella, Bernard; Gotlieb, Arnaud
err分享
err收藏
Modelling dynamic memory management in constraint-based testing
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2009-11-01
err7
errOAAI
errCharreteur, Florence; Botella, Bernard; Gotlieb, Arnaud
err分享
err收藏
Goal-oriented test data generation for pointer programs
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2007-09-01
err8
errOAAI
errGotlieb, Arnaud; Denmat, Tristan; Botella, Bernard
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
A
Arnaud Gotlieb
H 指数: 27 · 论文数: 220
M
Mickaël Delahaye
H 指数: 9 · 论文数: 28
T
Tristan Denmat
H 指数: 6 · 论文数: 14
F
Florence Charreteur
H 指数: 4 · 论文数: 10
已加载全部