Welcome to the 
Module user guide!
This module supports test model generation driven by the JUnit Java library from a Java model created using the JavaDesigner module.
module user guideWelcome to the Module user guide!
This module supports test model generation driven by the JUnit Java library from a Java model created using the JavaDesigner module.