supported technology: C/C++

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

Read More

HPE Security Fortify offers end-to-end application security solutions with the flexibility of testing on-premise and on-demand to cover the entire…

Read More

Cantata is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on host…

Read More

If software quality matters to you, QuickCheck can help you find bugs early. Developers specify properties of your embedded system…

Read More

CUnit is a lightweight system for writing, administering, and running unit tests in C.  It provides C programmers a basic testing…

Read More

Test Management System 𝘁𝗲𝘀𝘁𝗼𝗺𝗮𝘁.𝗶𝗼 is an all-in-one solution for your automated and manual tests. This testing tool allows managing BA,…

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

MIN is an advanced unit/integration test framework for Linux/Maemo based devices. MIN can be integrated with standard toolchain in Linux…

Read More

CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV’07 paper…

Read More

The goal is to enforce uniform coding habits among software personnel in the engineering department so that reading, checking and…

Read More