On Improving Defect Coverage of Stuck-at Fault Tests | IEEE Conference Publication | IEEE Xplore