Category: Test design
HOL-TestGen
HOL-TestGen is a is a test case generator for specification based unit testing. HOL-TestGen is built on top of the specfication…
- Rating
- Views
- 2472
Agile Requirements Designer
CA Agile Requirements Designer is an end-to-end requirements gathering, test automation and test case design tool which drastically reduces manual…
- Rating
- Views
- 6780
UniTESK
UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages.…
- Rating
- Views
- 2269
qTest Scenario
qTest Scenario is an innovative JIRA plugin that helps teams take a test-first approach to Agile.
- Rating
- Views
- 3353
Doubler
Doubler is a code generator that makes unit testing easier. It is especially useful when working with legacy code. It…
- Rating
- Views
- 2244
AgitarOne
The AgitarOne product family helps you work safer, better, and smarter as you develop and maintain your Java applications. AgitarOne JUnit…
- Rating
- Views
- 3077
T2C
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 –…
- Rating
- Views
- 2486
Cerberus Testing
Cerberus Testing is the only 100% open-source and low-code test automation platform supporting Web, Mobile, API (REST, Kafka, …), Desktop,…
- Rating
- Views
- 2589
NovoTest
NovoTest uses QA industry best practices and proprietary test designs, techniques and methodologies. It allows automatic test case generation for…
- Rating
- Views
- 2145
ECLAIR Software Verification Platform
Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++…
- Rating
- Views
- 3222