Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer. SymPLFIED: Symbolic program-level fault injection and error detection framework. In The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings. pages 472-481, IEEE Computer Society, 2008. [doi]
Abstract is missing.