Allows to create tests for GUI (Qt, Tk, XView) and Web applications (different web browsers and platforms) by recording or manually writing test scripts. It also includes tools to automate nightly test runs. [Commercial, trial version]

Provides of range of test and prototype tools to test the different aspects of interface driven ICT applications and offers the accompanying services.

Offline client for Mercury Quality Center and TestDirector which enables test execution to continue in disconnected environments. Offers test planning and analyzing a central server, but test execution is not tied to a certain location.

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 UniTesK, a methodology of software testing based on formal specifications, and automated testing tools that support the methodology for different programming languages.

Develops and markets software testing tools, test products for IP, ATM, ISDN networks and software components for telecommunications. [Commercial, trial versions]

Specializing in application management software, black box software and help desk software for Windows, .NET and J2EE applications. [Commercial]

Developer of the LISA Composite Application Testing Software, an automated software testing solution for multiple platforms. The Company also offers associated services, consulting and training. [Commercial]

Cantata++ for C and C++ and AdaTEST 95 for testing Ada applications include facilities for dynamic testing, coverage analysis and static analysis. [Commercial]

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