Software Unit Tests (Language Independent Approach)
PyUnit and PyDev extensions for arbitrary Executables
Small win form app for generating strings for black box testing
Unified Test and Logging layer for multiple programming languages
a selenium framework
SPIN-based Eclipse Model Checking Plugin