operating system: Linux

Bstriker ALTM allows users to connect with other tools they are already using and to coordinate teams and information from…

Read More

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

Ahven is a simple unit test library (or a framework) for Ada programming language. It is loosely modelled after JUnit and some…

Read More

Open source Java APM

Read More

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

Read More

JCrasher is an automatic robustness testing tool for Java code. JCrasher examines the type information of a set of Java…

Read More

The purpose of this test suite is to facilitate testing POSIX function robustness. The test suite: Runs strictly on your…

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

Continuous Integration and Continuous Delivery. Jenkins provides hundreds of plugins to support building, deploying and automating any project.

Read More