Functional Test Generation and Diagnosis ( 1994-97 )