Y. D. Salman, N. L. Hashim, M. Md Rejab, R. Romli, and H. Mohd, “Coverage Criteria for UML State Chart Diagram in Model-based Testing”, JTEC, vol. 9, no. 2-11, pp. 85–89, Sep. 2017.