Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB59-CRHC_08_02.pdf (11MB)
(no description provided)PDF

Description

Title:SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Author(s):Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar
Subject(s):Dependability validation
Fault injection
Symbolic execution
Detectors
Model checking
Issue Date:2008-03
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-08-2205, CRHC-08-02
Genre:Report
Type:Text
Language:English
Description:Coordinated Science Laboratory was formerly known as Control Systems Laboratory
URI:http://hdl.handle.net/2142/74604
Sponsor:National Science Foundation / NSF-CNS-05-51665 and NSF-CNS-04-06351
Date Available in IDEALS:2015-04-06
2017-07-14


This item appears in the following Collection(s)

Item Statistics