Immediate Impact
8 standout
Citing Papers
A Survey on Software Fault Localization
2016 Standout
The Oracle Problem in Software Testing: A Survey
2014 Standout
Works of Thomas Pressburger being referenced
Model checking JAVA programs using JAVA PathFinder
2000
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Thomas Pressburger | 113 | 183 | 194 | 7 | 296 | |
| Sam Owre | 172 | 218 | 123 | 8 | 306 | |
| Pierre Chapron | 177 | 174 | 143 | 10 | 332 | |
| Friedrich von Henke | 118 | 155 | 94 | 7 | 251 | |
| Susumu Fujiwara | 66 | 110 | 279 | 5 | 310 | |
| J. R. Abrial | 184 | 182 | 144 | 3 | 300 | |
| Kirill Bogdanov | 71 | 89 | 230 | 14 | 277 | |
| Yuan Lu | 171 | 229 | 160 | 4 | 311 | |
| Laurent Voisin | 123 | 127 | 97 | 4 | 228 | |
| G. Jacopini | 184 | 122 | 69 | 6 | 328 | |
| S. Gerhart | 90 | 83 | 111 | 11 | 197 |
All Works
Loading papers...