An Enhanced Technique for the Automatic Generation of Effective Diagnosis-oriented Test Programs for Processors