Generation of high quality tests for robustly untestable path delay faults | IEEE Journals & Magazine | IEEE Xplore