Stuck-at tuple-detection: a fault model based on stuck-at faults for improved defect coverage | IEEE Conference Publication | IEEE Xplore