A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation

Algorithm 2

Dynamic variable ordering.

Input FV: the set of future variables

    : the domain of

   ()(): branches along the path

Output   : the selected variable to be next instantiated

Begin

(1) ← quicksort();

(2) for  

(3)  if   

(4)      break;

(5)   else  for ()()

(6)        if   (rank()() = rank()())

(7)          a++;

(8)         else  permutate , by rank();

(9)          break;

(10) ← head ();

(11) return   ;

End