Immediate Impact
27 standout
Citing Papers
When Software Security Meets Large Language Models: A Survey
2025 Standout
Software Testing With Large Language Models: Survey, Landscape, and Vision
2024 Standout
Works of Jan Madey being referenced
Functional documents for computer systems
1995
Precise documentation of well-structured programs
1994
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Jan Madey | 166 | 236 | 192 | 3 | 379 | |
| Mark Trakhtenbrot | 100 | 140 | 157 | 6 | 385 | |
| Paul T. Ward | 142 | 210 | 164 | 9 | 452 | |
| Freddy Allilaire | 259 | 251 | 340 | 2 | 455 | |
| W. Richards Adrion | 166 | 100 | 148 | 11 | 356 | |
| E. N. Miya | 221 | 108 | 105 | 4 | 365 | |
| Flavio Lerda | 93 | 189 | 307 | 10 | 450 | |
| F.B. Schneider | 88 | 251 | 90 | 15 | 399 | |
| Peter Borovanský | 65 | 293 | 90 | 13 | 424 | |
| Robert Darimont | 254 | 284 | 122 | 4 | 366 | |
| Frank DeRemer | 238 | 282 | 95 | 10 | 412 |
All Works
Loading papers...