Variability Intensive system Behavioural teSting
· 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.
Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window vibes-2.0.5.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
