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

41 standout
Sub-graph 1 of 15

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
5 intermediate papers

Works of Stephen McCamant being referenced

The Daikon system for dynamic detection of likely invariants
2007 Standout

Author Peers

Author Last Decade Papers Cites
Stephen McCamant 251 171 208 234 18 485
Eran Yahav 251 150 259 227 53 521
Seth Hallem 176 127 257 289 7 504
Lintao Zhang 304 122 84 147 21 559
Glenn Ammons 180 43 301 275 11 537
John Regehr 172 110 159 231 36 431
Rishabh Singh 257 60 290 203 39 544
Julia Lawall 224 63 270 138 41 497
Daniel Le Berre 281 44 198 230 29 548
Gilles Muller 301 67 211 135 46 546
Danny Dig 172 65 369 220 28 555

All Works

Loading papers...

Rankless by CCL
2026