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

Eva May

ETH Zurich

5H-index
10Paper Count
63Citation Count
Published Papers 1
Publication Date
logo
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2015-10-01
err22
errOAAI
errGaleotti, Juan P.; Furia, Carlo A.; May, Eva; Fraser, Gordon; Zeller, Andreas
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Andreas Zeller
H-index: 66 · Papers: 415
G
Gordon Fraser
H-index: 55 · Papers: 398
C
Carlo A. Furia
H-index: 26 · Papers: 180
J
Juan Pablo Galeotti
H-index: 18 · Papers: 65
All loaded