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

Gerald Lüttgen

otto friedrich university bamberg

19H指数
104论文数
1.5K被引数
收录论文 2
发表时间
logo
On the Generation of Invalid Objects for Inferring More Precise Class Invariants关于生成无效对象以推断更精确的类不变量
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errBoockmann, Jan H.; Jacob, Kerstin; Luettgen, Gerald
err分享
err收藏
Using Formal Specifications to Support Testing使用正式规范支持测试
errACM COMPUTING SURVEYS
IF28
err2009-02-23
err236
errOAAI
errHierons, Robert M.; Bogdanov, Kirill; Bowen, Jonathan P.; Cleaveland, Rance; Derrick, John; Dick, Jeremy; Gheorghe, Marian; Harman, Mark; Kapoor, Kalpesh; Krause, Paul; Luettgen, Gerald; Simons, Anthony J. H.; Vilkomir, Sergiy; Woodward, Martin R.; Zedan, Hussein
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
M
Mark Harman
H 指数: 90 · 论文数: 712
J
Jonathan P. Bowen
H 指数: 59 · 论文数: 653
R
Robert M. Hierons
H 指数: 40 · 论文数: 388
P
Paul Krause
H 指数: 39 · 论文数: 347
R
Rance Cleaveland
H 指数: 36 · 论文数: 197
查看更多