Null dereference verifier for Java Programs
MOVED TO GITHUB. Code here is STALE.
Source Code Analyzer
jMINT - Java Mutation for Integration Testing
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
DATA Gen™ - Test Data Generator to generate realistic test data.
SPIN-based Eclipse Model Checking Plugin
SISSy detects problem patterns OO source code