A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation. - Saima Shaheen; Hasna Arshad; Momeena Mir; Muhammad Tufail Hashmi (ICACS, 2024)