supported technology: C/C++
- Rating
- Views
- 5447
- Rating
- Views
- 2557
UniTESK
UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages.…
- Rating
- Views
- 2941
- Rating
- Views
- 3216
theft
theft is a C library for property-based testing. Rather than checking the results with specific input, properties are asserted (“for…
- Rating
- Views
- 2996
TOSTER
The TOSTER is a system for sharing a set of tools that allow to implement methods of object-oriented testing. Any…
- Rating
- Views
- 3514
TPT
TPT is a tool for functional testing of embedded software. Tests in TPT can be created graphically by the user…
- Rating
- Views
- 6389
Trucov
Trucov is an open source program that works with the GCC compiler to display the control flow of a program…
- Rating
- Views
- 3102
VectorCAST
VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical…
- Rating
- Views
- 9922
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
- 2923