Fully automatic test program generation for microprocessor cores | IEEE Conference Publication | IEEE Xplore