Figure 4From: Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing Branching, joining and looping operations. The operations that the parameterized graph generator do according to the parameters.Back to article page