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

Nikolai Tillmann

机构信息待补充

41H指数
168论文数
6.1K被引数
收录论文 4
发表时间
logo
Environmental Modeling for Automated Cloud Application Testing
errIEEE SOFTWARE
IF3
err2012-03-01
err22
PREAI
errZhang, Linghao; Ma, Xiaoxing; Lu, Jian; Xie, Tao; Tillmann, Nikolai; de Halleux, Peli
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收藏
Unit tests reloaded: Parameterized unit testing with symbolic execution
errIEEE SOFTWARE
IF3
err2006-07-01
err45
PREAI
errTillmann, Nikolai; Schulte, Wolfram
err分享
err收藏
Instrumenting scenarios in a model-driven development environment
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2004-12-01
err15
PREAI
errGrieskamp, W; Tillmann, N; Veanes, M
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Tao Xie
H 指数: 70 · 论文数: 562
P
Patrice Godefroid
H 指数: 60 · 论文数: 147
S
Sriram K. Rajamani
H 指数: 55 · 论文数: 209
J
Jian Lü
H 指数: 51 · 论文数: 1.0K
W
Wolfram Schulte
H 指数: 46 · 论文数: 239
查看更多