Automatic test pattern generation for improving the fault coverage of microprocessors | IEEE Conference Publication | IEEE Xplore