org.checkerframework:testlib (maven):  Testlib is a collection of utility classes for testing checkers that use the Checker Framework. 
Keywords: java|types|verification