logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
G

Gerald Lüttgen

otto friedrich university bamberg

19H-index
104Paper Count
1.5KCitation Count
Published Papers 2
Publication Date
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Mark Harman
H-index: 90 · Papers: 712
J
Jonathan P. Bowen
H-index: 59 · Papers: 653
R
Robert M. Hierons
H-index: 40 · Papers: 388
P
Paul Krause
H-index: 39 · Papers: 347
R
Rance Cleaveland
H-index: 36 · Papers: 197
View more