Enhanced untestable path analysis using edge graphs. - Seiji Kajihara; Takashi Shimono; Irith Pomeranz; Sudhakar M. Reddy (Asian Test Symposium, 2000)