S-SETA: Selective Software-Only Error-Detection Technique Using Assertions | Publicación