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
SPIN-based Eclipse Model Checking Plugin
Test platform for all kinds of smart cards
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
XJML 1.0 is a platform for Verification and Validation of Java classes
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification