SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework | IEEE Journals & Magazine | IEEE Xplore