Shafie ML, Wan Kadir WMN. Test Case Prioritization based on Extended Finite State Machine Model. JTEC [Internet]. 2017Oct.20 [cited 2024Apr.25];9(3-3):125-32. Available from: https://jtec.utem.edu.my/jtec/article/view/2888