Calculating the fault coverage for dual neighboring faults using single stuck-at fault patterns | IEEE Conference Publication | IEEE Xplore