Project Group: be.unamur.info

YAMI - Yet Another Model Inference tool

be.unamur.info : yami-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.

Last Version: 1.1.0

Release Date: Nov 2, 2018

VIBeS: core

be.unamur.info : vibes-core

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.

Last Version: 2.0.5

Release Date: Jun 5, 2018

VIBeS: dsl

be.unamur.info : vibes-dsl

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.

Last Version: 2.0.5

Release Date: Jun 5, 2018

VIBeS: featured expressions

be.unamur.info : vibes-fexpression

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

Last Version: 2.0.5

Release Date: Jun 5, 2018

VIBeS: test case selection

be.unamur.info : vibes-selection

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.

Last Version: 2.0.5

Release Date: Jun 5, 2018

Variability Intensive system Behavioural teSting

be.unamur.info : vibes

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.

Last Version: 2.0.5

Release Date: Jun 5, 2018

vibes-execution

be.unamur.info : vibes-execution

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.

Last Version: 1.0.0

Release Date: Dec 11, 2014

vibes-transformation

be.unamur.info : vibes-transformation

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.

Last Version: 1.0.0

Release Date: Dec 11, 2014

vibes-mutation

be.unamur.info : vibes-mutation

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.

Last Version: 1.0.0

Release Date: Dec 11, 2014