Projects

JUnit Testing Tool Competition

The JUnit Testing Tool Competition is held at the SBST workshop co-located with ICSE. The contest's infrastructure (JUGE) has been developed and used in testing contests during yearly events since 2013.

Software Testing AMPlification (EU H2020 STAMP)

STAMP aims at bringing test automation and amplification to the DevOps world. During my postdoc at TU Delft, I assumed the daily supervision and coordination of the scientific work package *runtime amplification* and the edition of the TU Delft deliverables.

Big Software on the Run (3TU BSR)

BSR aims at developing novel techniques and tools to analyse software systems in vivo - making it possible to visualize behaviour, create models, check conformance, predict problems, and recommend corrective actions.

Variability Intensive system Behavioural teSting (VIBeS)

VIBeS is the framework I developed during my PhD thesis to generate test-cases from models of variability-intensive systems.

Yet Another Model Inference (YAMI)

YAMI is a simple tool to learn usage models from execution traces contained in application logs.