Transtrl locates need-to-translate strings for Java software i18n
A rearchitecture for the ActionFixture for the FIT Library
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
Extended Robot Class