PurifyPlus
Run-time analysis suite: memory errors, performance and coverage
Quilt
Java code coverage tool for JUnit
Reactis
Automated testing and verification for Simulink models and C code
Coco
Code coverage analysis for desktop and embedded software (formerly Squish Coco)
TESSY
Unit and component testing of embedded C/C++ software
Test Coverage
Branch coverage tools for many programming languages