SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework

DOI10.1109/TC.2012.219zbMath1365.68090MaRDI QIDQ5274558

Ravishankar K. Iyer, Nithin M. Nakka, Karthik Pattabiraman, Zbigniew T. Kalbarczyk

Publication date: 12 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Twenty years of rewriting logic

Uses Software

• SymPLFIED

This page was built for publication: SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework