MOVED TO GITHUB. Code here is STALE.
Null dereference verifier for Java Programs
Source Code Analyzer
jMINT - Java Mutation for Integration Testing
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
SPIN-based Eclipse Model Checking Plugin
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
Extended Robot Class
An alternative to JMX
SISSy detects problem patterns OO source code