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

Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Browse the full DSN paper archive.