Test Automation Management Tool
A model-based test automation framework for GUI applications
Enables you to run load test written in a .Net language with Grinder.
DATA Gen™ - Test Data Generator to generate realistic test data.
Kammerjäger is a debugging tool with integrated correctness proving.