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

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

Related Items

Twenty years of rewriting logic

Uses Software

• SymPLFIED