Abdel-Fattah Yousif Jun Gu An Efficient Global Search Algorithm for Test Generation. 1499-1502 1993 ISCAS db/conf/iscas/iscas1993-3.html#YousifG93