Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis

Karthik Pattabiraman, Giacinto Paolo Saggese, Daniel Chen, Zbigniew Kalbarczyk, Ravishankar K. Iyer. Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis. IEEE Trans. Dependable Sec. Comput., 8(5):640-655, 2011. [doi]

Abstract

Abstract is missing.