GlowCode
Performance and memory profiler for Windows and .NET
Gretel
Residual test coverage tool for Java programs
Insure++
Runtime memory error detection for C and C++
Isolator
Mocking and unit testing tool for .NET
Java Pathfinder
Model checker and execution environment for verifying Java bytecode
JSCoverage
Code coverage tool for JavaScript (succeeded by JSCover)