vix.ing
·
top
·
new
·
best
·
stats
·
spec
Philip J. Guo
The Daikon system for dynamic detection of likely invariants
2007/12/01 by
Michael D. Ernst
,
Jeff H. Perkins
,
Philip J. Guo
+4 · 23 citations