Test tool suite offering TestDirector, a web-based test management application built upon J2EE, QuickTest for functional test and regression test automation and WinRunner, a GUI-testing tool, both for Windows platforms complemented by a business analy...

The company offers verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation techniques and static analysis of for C, C++ and Java source code. [Commercial]

Develops platform solutions for compile-time source code analysis in C, C++, and Java featuring defect detection analyses that were used for parts of the Linux and OpenBSD operating systems. [Commercial, trial version]

NIST Information Technology Laboratory's Conformance Testing Group offers suites for various programming languages.

AutomatedQA is developing products for testers, software developers and quality assurance engineers. This site contains many white papers on software testing, performance tuning and detecting memory leaks. [Commercial, trial versions]

Suppliers of the LDRA Testbed and LDRA TBRun software testing toolkits and associated services.

Automated testing and validation of Simulink and Stateflow models. Reactis Tester generates test suites from models while Reactis Validator checks for violations of requirements in models. [Shareware]

Offers Eggplant, a cross-platform software testing and automation tool for Mac OS X. It automates end-to-end processes on another computer, allowing users to validate products on various platforms

Offers a test management tool (SilkCentral), a continuous integration and code coverage tool (Gauntlet), a regression and functional testing tool (SilkTest), and a performance and load testing tool (SilkPerformer). [Commercial]

Software security solution that analyzes source code to produce details and remediation advice about software security vulnerabilities for use by development, QA, certification, and security audit teams. [Commercial]