Text this: Test case prioritization technique using sequence diagram and labeled transition systems in regression testing