Group: Unamur Info

Sort by:Popular▼

✓Popular✓Newest

VIBeS: Core

VIBeS Transformation

VIBeS Execution

VIBeS: DSL

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: Test Case Selection

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

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.