The document describes an Extended Finite State Machine (EFSM) model for an apply leave component in a human resource management system. It includes operations like launch, login, logout, apply leave, and continue. The EFSM diagram and test cases are provided to cover all the transitions in the model. The test cases are reduced using a technique called Test Suite Reduction Rate (TSRR) while maintaining coverage of all transitions and states. The results show the reduction in number of test cases and improvement in TSRR after applying risk analysis.