operating system: Linux

software testing tool

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…

Read More

Rating
0 / 5
Views
2478
software testing tool

DynamoRIO

DynamoRIO is a runtime code manipulation system that supports code transformations on any part of a program, while it executes.…

Read More

Rating
0 / 5
Views
2952
software testing tool

CSS Critic

A lightweight framework for regression testing of Cascading Style Sheets. CSS Critic checks your current layout constantly against a reference…

Read More

Rating
0 / 5
Views
3041
software testing tool

Bug-A-Boo

Bug-A-Boo is a web based bug reporting system for Linux. It runs on any web host server providing CGI functionality.…

Read More

Rating
0 / 5
Views
2094
software testing tool

AgitarOne

The AgitarOne product family helps you work safer, better, and smarter as you develop and maintain your Java applications. AgitarOne JUnit…

Read More

Rating
0 / 5
Views
3079
software testing tool

Cerberus Testing

Cerberus Testing is the only 100% open-source and low-code test automation platform supporting Web, Mobile, API (REST, Kafka, …), Desktop,…

Read More

Rating
0 / 5
Views
2595
software testing tool

X11::GUITest

X11::GUITest, is a Perl package, used for controlling applications by means of user emulation. This can be used to interact…

Read More

Rating
0 / 5
Views
2805
software testing tool

theft

theft is a C library for property-based testing. Rather than checking the results with specific input, properties are asserted (“for…

Read More

Rating
0 / 5
Views
2384
Choose Page Layout
Header Position
Submenu Style