✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
A state-transition can be expressed as follows:
S_i -> E_m/A_n -> S_j
Where S_i is the i-th state, S_j is the j-th state (with j not necessarily different from i), E_m is the m-th event (input) and A_n is the n-th action (output).
Which of the following statements regarding State-Transition testing coverage criteria is correct?