Immediate Impact
2 standout
Citing Papers
When Software Security Meets Large Language Models: A Survey
2025 Standout
Symbolic execution for software testing
2013 Standout
Works of Gene Novark being referenced
Grace
2009
Exterminator
2007
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Gene Novark | 69 | 68 | 15 | 24 | 7 | 89 | |
| Jingyue Wu | 45 | 45 | 11 | 28 | 9 | 73 | |
| Matthew J. Bridges | 54 | 62 | 13 | 9 | 6 | 79 | |
| Mustafa M. Tikir | 38 | 33 | 13 | 29 | 7 | 76 | |
| Yong-Fong Lee | 31 | 41 | 20 | 20 | 9 | 68 | |
| Zlatko Petrov | 53 | 101 | 12 | 9 | 8 | 119 | |
| James M. Stichnoth | 67 | 79 | 38 | 8 | 7 | 102 | |
| Robert O'Callahan | 25 | 32 | 24 | 27 | 8 | 59 | |
| Mohsen Vakilian | 85 | 72 | 32 | 20 | 8 | 113 | |
| P. Tirumalai | 49 | 89 | 20 | 17 | 7 | 118 | |
| Benjamin Wester | 80 | 36 | 24 | 10 | 10 | 88 |
All Works
Loading papers...