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