University of Illinois Urbana-Champaign

IDEALS

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 2
Coordinated Science Laboratory 1
Summary of Engineering Research (1957-2008) 1

Collection

Report - Coordinated Science Laboratory 1
Summary of Engineering Research (2003-2008) 1

Author(s)

Iyer, Ravishankar 1
Kalbarczyk, Zbigniew 1
Nakka, Nithin 1
Pattabiraman, Karthik 1
University of Illinois at Urbana-Champaign. College of Engineering 1

Keyword(s)

Dependability validation 1
Detectors 1
Fault injection 1
Model checking 1
Research and publications sponsored in the College of Engineering 1
Symbolic execution 1

Type of Resource

text 2

↑ ↓

Showing 1–2 of 2 items

SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework

Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

The Summary of Engineering Research 2008

University of Illinois at Urbana-Champaign. College of Engineering

Your Name (optional)

Your Email (optional)

Your Comment

What is 5 + 7?

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Password

(I forgot my password)