Reactis
Automated testing and verification for Simulink models and C code
Ansys SCADE Suite
Model-based development of safety-critical embedded software
SquashTM
Open source-based test management platform
STDL
Structured test description language for .NET
T2C
Template-based generation of unit test sources
TESSY
Unit and component testing of embedded C/C++ software