Centralized Logging to a database with alerts and powerful RCP-UI
Mutation System for UML and Variability Models
Image based Test Automation tool (Java) - Test ANYthing, ANYwhere
SPIN-based Eclipse Model Checking Plugin
Software Quality Assurance Toolkit