On identifying functionally untestable transition faults | IEEE Conference Publication | IEEE Xplore