A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation | IEEE Conference Publication | IEEE Xplore