Generating test Cases for Model-Based Testing and Detecting Deadlocks Using Tarjan’s Algorithm

Yasir Dawood Salman, Nor Laily Hashim, Mawarny Md Rejab, Rohaida Romli and Haslina Mohd

Journal of Engineering and Applied Sciences 13 ( 1 SI ): 2322 - 2329 , 2018