[Checkers] Checker Improvement for ISSTA Paper

Mahmood Ali mahmood at MIT.EDU
Thu Apr 10 12:58:26 EDT 2008

The checkers framework has improved significantly since we submitted  
the ISSTA paper, especially with respect to the declarative style for  
annotations, which was addressed in the reviews.

Can we think for any further significant feature/design improvement  
for the checkers or the framework that will be nice to have/discuss in  
the paper?


More information about the checkers mailing list