Test generation for double stuck-at faults | IEEE Conference Publication | IEEE Xplore