Statistics
Publications
27
Citations
1.2K
H-Index
19
Active since
2006
Sharon Shoham is an author at Tel Aviv University specializing in computer science, computing, and formal methods.
Publications per year
2006–2022
27
27
Ivy: safety verification by interactive generalization
Oded Padon, Kenneth L. McMillan, Aurojit Panda et al. · 2016 · 157 citations
Static specification mining using automata-based abstractions
Sharon Shoham, Eran Yahav, Stephen J. Fink et al. · 2007 · 134 citations
Typestate-based semantic code search over partial programs
Alon Mishne, Sharon Shoham, Eran Yahav · 2012 · 103 citations
Static Specification Mining Using Automata-Based Abstractions
Sharon Shoham, Eran Yahav, Stephen J. Fink et al. · IEEE Transactions on Software Engineering · 2008 · 77 citations
1–5 of 27