user interface: GUI

Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and…

Read More

ARX is a comprehensive open source software for anonymizing sensitive personal data.

Read More

Defensics is an intelligent fuzz testing tool from Synopsys that relentlessly bombards a system with malformed inputs to uncover misuse…

Read More

ArgoUML is the leading open source UML modeling tool and includes support for all standard UML 1.4 diagrams. It runs…

Read More

Papyrus is an industrial-grade open source Model-Based Engineering tool. Papyrus has notably been used successfuly in industrial projects and is…

Read More

HttpRider is a lightweight tool for web site performance and stress testing. It creates http scenarios by profiling http requests…

Read More

Testing Master is a load and stress testing tool, designed for Microsoft Windows NT/2000/XP.

Read More

The Spirent Avalanche solution provides multi-10 Gbps capacity, security and performance testing for network infrastructures, Web application infrastructures and Triple…

Read More

Powerful and lightweight functional testing solution built specifically for continuous testing and continuous integration.

Read More

IETester is a free (both for personal and professional usage) WebBrowser that allows you to have the rendering and javascript…

Read More