Explore projects

Dataster eXtended (dataster + combine)

RoadRunner eXtended. Dynamic analyzer for Java programs extended by means for easy monitoring of multi-threaded programs. Forked from RoadRunner.

Search-Based Testing Environment

Search-Based Testing Environment

Browser library for developing JavaScript-based OSLC domains and clients.

Experimental extension of Forester for Resource Bounds computation.

MINA is a tool for verification of programs with an unbounded number of threads.

Publicly available artifacts created by the VeriFIT research group.

Automated Gui Guidelines Testing