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

Download PDF
Open Webpage

Matthew B. Dwyer, Rahul Purandare, Suzette Person

Published: 2010, Last Modified: 22 Mar 2026RV 2010EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Runtime verification has primarily been developed and evaluated as a means of enriching the software testing process. While many researchers have pointed to its potential applicability in online approaches to software fault tolerance, there has been a dearth of work exploring the details of how that might be accomplished.