Input:   :  Initial  test  suite,
    for  all   ,
  :  set  of  affected  transitions
Output:  
1:  
2:  for  each     do
3:   
4:   for  each  (preId1,   ,   ,  postId1)  ∈     do
5:    for  each  (preId2,   ,  g,  postId2)  ∈      do
6:     if  preId1  =  preId2   and     and   satisfy(g,  sv)  and   postId1  =  postId2   then
7:      
8:      break
9:     end  if
10:  end  for
11:  if     then
12:     break
13:    end  if
14:   end  for
15:   if     then
16:    
17:   end  if
18:  end  for
19:  return  
Algorithm 1: Select regression test cases.