Shafie, Muhammad Luqman, and Wan M. N. Wan Kadir. 2017. “Test Case Prioritization Based on Extended Finite State Machine Model”. Journal of Telecommunication, Electronic and Computer Engineering (JTEC) 9 (3-3):125-32. https://jtec.utem.edu.my/jtec/article/view/2888.