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