A BDD Based Algorithm for Detecting Difficult Faults. - Cristiana Bolchini; Franco Fummi; R. Gemelli; Fabio Salice (ISCAS, 1995)