Explore projects

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

Search-Based Testing Environment

A library for extracting debugging information from binary files.

Editor and Solver of Cause-Effect-Graphs

Demonstration of VALU3S web for ITS course

Library for manipulation and classification of communication messages.

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

Search-Based Testing Environment

Local copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner

Prefekt, the digital twin auditor, is a python tool that compares various types of metrics obtained from simulation, analysis or running factory environment.

combine: tool for generating a covering array for T-wise combinatorial testing