A tool that inserts code into Java class files for logging
RTTI for Python Source and Binary Files
PyUnit and PyDev extensions for arbitrary Executables
Stochastic Performance Logic testing tools and utilities.
makes requirements executable and useable for all project-participants
Mutation System for UML and Variability Models
Unified Test and Logging layer for multiple programming languages
CppUnit for Eclipse CDT C/C++ Unit Testing Support
XJML 1.0 is a platform for Verification and Validation of Java classes