This project has declared the following modules:

Name Description

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

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.

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.

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.

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.

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.

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.

VIBeS Toolbox - Mutation equivalence detection tool This module handles mutant equivalence functionalities

toolbox-mutant-generation This module groups all the executables created using the VIBeS framework.

VIBeS Toolbox - Transformation This module groups all the executables created using the VIBeS framework.

toolbox-products-analyze This module groups all the executables created using the VIBeS framework.

toolbox-testcase-generation This module groups all the executables created using the VIBeS framework.

toolbox-fmm-execution This module groups all the executables created using the VIBeS framework.

toolbox-model-statistics This module groups all the executables created using the VIBeS framework.

VIBeS Toolbox - Mutant sampling tool This module allows to sample mutants from a FMM

toolbox-wordpress-ts2fts This module groups all the executables created using the VIBeS framework.

toolbox-determinism This module groups all the executables created using the VIBeS framework.