jMINT - Java Mutation for Integration Testing
A framework that translate name-based pointcut to analysis-based ones
The free open source scanning engine
Code Analysis Plugin for Eclipse Indigo
A tool to convert C++ definitions into XML
XJML 1.0 is a platform for Verification and Validation of Java classes
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification