Color Counting and its Application to Path Delay Fault Coverage. - Jayant Deodhar; Spyros Tragoudas (ISQED, 2001)