Ada source code controller
Software Unit Tests (Language Independent Approach)
C preprocessor magick
Automatic correction of software bugs and grammar mistakes
Enables you to run load test written in a .Net language with Grinder.
Kammerjäger is a debugging tool with integrated correctness proving.