Standout Papers

The Daikon system for dynamic detection of likely invariants 2007 2026 2013 2019 315
  1. The Daikon system for dynamic detection of likely invariants (2007)
    Michael D. Ernst, Jeff Perkins et al. Science of Computer Programming

Immediate Impact

18 standout
Sub-graph 1 of 7

Citing Papers

Software Testing With Large Language Models: Survey, Landscape, and Vision
2024 Standout
Large Language Models for Software Engineering: A Systematic Literature Review
2024 Standout
2 intermediate papers

Works of Jeff Perkins being referenced

The Daikon system for dynamic detection of likely invariants
2007 Standout
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
2006

Author Peers

Author Last Decade Papers Cites
Jeff Perkins 192 228 149 7 378
Flavio Lerda 93 307 189 10 450
Ana B. Sánchez 184 289 130 12 421
Brent Hailpern 183 156 198 21 457
John B. Kam 92 83 219 5 382
A. Ghedamsi 83 329 76 4 352
Muzammil Shahbaz 198 319 106 5 413
William Landi 179 247 199 17 401
Linda M. Ottenstein 286 348 82 11 421
F.B. Schneider 88 90 251 15 399
H. Partsch 147 136 289 17 392

All Works

Loading papers...

Rankless by CCL
2026