Software Unit Tests (Language Independent Approach)
C/C++ system probe, test and automation toolkit
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
Create fast bare-metal FPGA designs without Verilog or VHDL
SPIN-based Eclipse Model Checking Plugin