Stuck-at fault: a fault model for the next millennium | IEEE Conference Publication | IEEE Xplore