SymPLFIED: Symbolic program-level fault injection and error detection framework