Dynamically generated unit tests for basic verifications.
Quality-Check is a small Java library for basic runtime checks of vars
Null dereference verifier for Java Programs
MOVED TO GITHUB. Code here is STALE.
Effective Unit Testing for Java EE
Source Code Analyzer
A library that allows programs for a NI CRIO to be run on a computer.
jMINT - Java Mutation for Integration Testing
A tool for testing regular expressions.
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
Automate your software testing, the fastest way!
XJML 1.0 is a platform for Verification and Validation of Java classes
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification