Category: Test specification

TESSY performs automated dynamic module/unit and integration testing of embedded software and determines the code coverage along the way. This…

Read More

Test Advisor is a solution from Synopsys that enables developers to test smarter and faster, based on risk and change,…

Read More

T2 is a fully automatic, trace-based random testing tool, featuring in-code specifications and reflexive testing. It is also almost interactive; depending on the complexity…

Read More

qTest Scenario is an innovative JIRA plugin that helps teams take a test-first approach to Agile.

Read More

UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages.…

Read More

theft is a C library for property-based testing. Rather than checking the results with specific input, properties are asserted (“for…

Read More

The TOSTER is a system for sharing a set of tools that allow to implement methods of object-oriented testing. Any…

Read More

TPT is a tool for functional testing of embedded software. Tests in TPT can be created graphically by the user…

Read More

Everything you need to quickly create powerful, optimized software tests.

Read More

Ibello is a framework and a tool designed for automated testing of web-based applications. A framework, because it allows you…

Read More