University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 170 items
Thumbnail for SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for Discovering Application-Level Insider Attacks Using Symbolic Execution
Discovering Application-Level Insider Attacks Using Symbolic Execution
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for Recovering from Operating System Errors
Recovering from Operating System Errors
David, Francis M.; Campbell, Roy H.