Explore projects

Project for testing development of Eclipse plugins using Maven and distributing them as maven or p2 packages.

Search-Based Testing Environment

Library for abstraction and concretization of stream of messages of certain similarity or class.

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

Search-Based Testing Environment

JavaScript-based OSLC Architecture Management domain.

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