Group: be.unamur.info - All Dependencies

YAMI - Yet Another Model Inference tool · Usage models (Discrete Time Markov Chain (DTMC)) represents the usage scenarios of the software as well as their probability. This allows one to determine the relative importance of execution scenarios (with respect to other). This project explores the possibility to reverse engineer usage models based on execution traces contained in application logs.

VIBeS: featured expressions · This project contains utility classes to parse feature expressions. Fexpressions grammar is described in Fexpression.g

Variability Intensive system Behavioural teSting · This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.