Immediate Impact
1 standout
Citing Papers
The Oracle Problem in Software Testing: A Survey
2014 Standout
Works of Cindy Eisner being referenced
Formal verification of software source code through semi-automatic modeling
2004
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Cindy Eisner | 144 | 115 | 72 | 9 | 169 | |
| Shoham Ben-David | 100 | 87 | 76 | 13 | 158 | |
| Henrik Reif Andersen | 143 | 71 | 91 | 14 | 165 | |
| Viktor Schuppan | 184 | 118 | 116 | 10 | 216 | |
| Harald Rueß | 88 | 41 | 59 | 11 | 113 | |
| Timo Latvala | 93 | 58 | 66 | 7 | 116 | |
| Vigyan Singhal | 134 | 59 | 41 | 13 | 209 | |
| Yonit Kesten | 156 | 79 | 96 | 10 | 172 | |
| Jan Springintveld | 94 | 85 | 35 | 10 | 129 | |
| Tommi Junttila | 129 | 69 | 111 | 13 | 166 | |
| Thomas Hune | 151 | 67 | 79 | 12 | 181 |
All Works
Loading papers...