Compact and complete test set generation for multiple stuck-faults | IEEE Conference Publication | IEEE Xplore