12-04-2008
26,240,
27
Join Date: Sep 2000
Last Activity: 1 August 2008, 3:09 PM EDT
Posts: 26,240
Thanks Given: 0
Thanked 27 Times in 26 Posts
Daikon 4.5.2 (Default branch)
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by