Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

Matthew B. Dwyer, Rahul Purandare, Suzette Person

Browse the full RV paper archive.