Software detection mechanisms providing full coverage against single bit-flip faults | IEEE Journals & Magazine | IEEE Xplore