The main idea

Generate a test suite such that, for every transition $(s,i,0,s^{\text{'}}),$

Step $1$: Puts the implementation into state s $($Setup$)$

Step $2$: Applies input $\frac{?}{?}$ and check whether the actual output is $o($Output fault$)$

Step $3$: Determines whether the target state of the