SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar
Permalink
https://hdl.handle.net/2142/74604
Description
Title SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework Author(s) Pattabiraman, Karthik Nakka, Nithin Kalbarczyk, Zbigniew Iyer, Ravishankar Issue Date 2008-03 Keyword(s) Dependability validation Fault injection Symbolic execution Detectors Model checking Publisher Coordinated Science Laboratory, University of Illinois at Urbana-Champaign Series/Report Name or Number Coordinated Science Laboratory Report no. UILU-ENG-08-2205, CRHC-08-02 Type of Resource text Language English Permalink http://hdl.handle.net/2142/74604 Sponsor(s)/Grant Number(s) National Science Foundation / NSF-CNS-05-51665 and NSF-CNS-04-06351
Owning Collections
