Model-based test automation solutions reduce cost of verification and validation by identifying defects early to reduce rework, while generating test vectors and test drivers. Available for professional Windows platforms. [Commercial]