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

Tomasz Kuchta

Imperial College London

4H指数
7论文数
113被引数
收录论文 2
发表时间
logo
Shadow Symbolic Execution for Testing Software Patches
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2018-09-25
err21
errOAAI
errKuchta, Tomasz; Palikareva, Hristina; Cadar, Cristian
err分享
err收藏
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2018-03-09
err14
errOAAI
errKuchta, Tomasz; Lutellier, Thibaud; Wong, Edmund; Tan, Lin; Cadar, Cristian
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lin Tan
H 指数: 41 · 论文数: 114
C
Cristian Cadar
H 指数: 34 · 论文数: 108
E
Edmund Wong
H 指数: 19 · 论文数: 42
T
Thibaud Lutellier
H 指数: 14 · 论文数: 28
H
Hristina Palikareva
H 指数: 8 · 论文数: 15
已加载全部