From: Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing
Property
LTS-BT
PDFSam
Branching nodes
26
11
Loops
0
5
Join nodes
7
6
Test cases
53
87
Shortest test case
10
17
Longest test case
34
43
Defects
4
TC reveal failures
14
32