This thesis is concerned with some of the important open issues in test case generation from the FSM (finite state machine) and EFSM (extended finite state machine) models.