A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation

Table 1

Some methods and their description used in this paper.

Name	Description
BB-HC	The proposed hybrid intelligent algorithm combining BB and HC
Dynamic variable ordering (DVO)	To permutate FV and return a variable to be instantiated
Path tendency calculation (PTC)	To calculate the path tendencies of all variables along the path, which will be used to calculate the domains in which their initial values are selected
Initial domain calculation (IDC)	To calculate the domain of a variable in which its initial value is selected according to its path tendency calculated by PTC
Hill-climbing	To judge whether a fixed value for a certain variable leads to a conflict or not by interval arithmetic and calculate the corresponding objective function