National innovation

CREG++ is a static analyser for C and C++ programs to make code maintenance simpler and safer.

JARTA ├ęs JARTA+ is a static analyser for Java programs which makes on-the-fly influence analysis starting from any variable at a selected code location.

JATEST is a continuous testing tool for selecting jUnit test cases. Whenever the developer saves his/her source code only the modification-affected tests are selected and executed. In this way the newly inserted bugs are detected immediately.

WIRE is testing tool that automates component based testing. This replaces the manual planning of test cases for testing the processes of the software.

JIDEBUG dynamic analyser makes dynamic influences for a given execution trace. Starting from a faulty variable the developer can trace back to the origin of the failure.