RTTI for Python Source and Binary Files
PyUnit and PyDev extensions for arbitrary Executables
Mutation System for UML and Variability Models
Unified Test and Logging layer for multiple programming languages
XJML 1.0 is a platform for Verification and Validation of Java classes