Null dereference verifier for Java Programs
MOVED TO GITHUB. Code here is STALE.
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
Source Code Analyzer
jMINT - Java Mutation for Integration Testing
DATA Gen™ - Test Data Generator to generate realistic test data.
Context-aware Software Engineering Environment Event-driven Framework
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
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
SISSy detects problem patterns OO source code