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.