This process leads to increased testing costs in the execution phase and often weaker fault coverage. Most of the techniques in testing concurrent processes use the composition of control graphs known as the Communication Finite State Machine (CFSM) or the Communicating Extended Finite State Machine ...