Explore projects

Dataster eXtended (dataster + combine)

Maven projects for building Eclipse Update Sites containing Maven libraries transformed into Eclipse plugins.

Search-Based Testing Environment

OSLC client(s) compatible with both Maven and Eclipse.

Editor and Solver of Cause-Effect-Graphs

A tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).

Search-Based Testing Environment