supported technology: C/C++
- Rating
- Views
- 4752
- Rating
- Views
- 2276
UniTESK
UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages.…
- Rating
- Views
- 2637
- Rating
- Views
- 2923
theft
theft is a C library for property-based testing. Rather than checking the results with specific input, properties are asserted (“for…
- Rating
- Views
- 2725
TOSTER
The TOSTER is a system for sharing a set of tools that allow to implement methods of object-oriented testing. Any…
- Rating
- Views
- 3190
TPT
TPT is a tool for functional testing of embedded software. Tests in TPT can be created graphically by the user…
- Rating
- Views
- 5892
Trucov
Trucov is an open source program that works with the GCC compiler to display the control flow of a program…
- Rating
- Views
- 2790
VectorCAST
VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical…
- Rating
- Views
- 9176
NE-Unit
NE-Unit is a Unit testing program that works with any language in which you can write an executable program that…
- Rating
- Views
- 2632