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.
Homepage POM file JAR file Javadoc'be.unamur.info:vibes-execution:1.0.0'