Immediate Impact
20 standout
Citing Papers
Software Testing With Large Language Models: Survey, Landscape, and Vision
2024 Standout
Smart Contracts in Blockchain Technology: A Critical Review
2023 Standout
Works of Gerald Lüttgen being referenced
Using formal specifications to support testing
2009
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Gerald Lüttgen | 207 | 132 | 192 | 31 | 341 | |
| Ofer Strichman | 252 | 198 | 217 | 40 | 399 | |
| Vı́ctor Braberman | 156 | 126 | 192 | 41 | 307 | |
| François Laroussinie | 291 | 216 | 147 | 23 | 398 | |
| Augusto Sampaio | 149 | 187 | 151 | 52 | 314 | |
| Jean-Claude Fernandez | 231 | 138 | 140 | 20 | 359 | |
| Sagar Chaki | 186 | 174 | 197 | 37 | 388 | |
| Radu Iosif | 169 | 190 | 98 | 21 | 353 | |
| Dimitra Giannakopoulou | 216 | 205 | 205 | 47 | 398 | |
| Dines Bjørner | 148 | 243 | 129 | 46 | 369 | |
| Eric C. R. Hehner | 216 | 276 | 80 | 26 | 351 |
All Works
Login with ORCID to disown or claim papers
Loading papers...