أرسل هذا في رسالة قصيرة: Test case prioritization technique using sequence diagram and labeled transition systems in regression testing