Category: Test design

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

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

Template2Code (T2C) is a collection of tools dealing with template-based file generation. Currently, it includes MiST Engine – Minimal String Template Engine and T2C itself –…

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

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

Read More

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

Read More

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. STDL is quite…

Read More

Validata SAS Automated Lifecycle Management (ALM) suite is a central platform for integrated tools, built for the Banking and Finance…

Read More

Test management tool

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