Test program synthesis for path delay faults in microprocessor cores | IEEE Conference Publication | IEEE Xplore