[Checkers] Improved case study results

Michael Ernst mernst at csail.mit.edu
Mon Apr 7 01:28:28 EDT 2008

With the improvements to the checkers framework since the last time that I
ran the case study, I was able to remove about 1/3 of the
annotations from Daikon (as well as checking more code).  This is good
news!  I hope that we'll see similar improvements in the other case


More information about the checkers mailing list