S-SETA: Selective Software-Only Error-Detection Technique Using Assertions | IEEE Journals & Magazine | IEEE Xplore