Wasserman, Hal; Blum, Manuel Software reliability via run-time result-checking. (English) Zbl 0904.68064 J. ACM 44, No. 6, 826-849 (1997). Cited in 1 ReviewCited in 10 Documents MSC: 68N99 Theory of software 68M15 Reliability, testing and fault tolerance of networks and computer systems Keywords:built-in testing; concurrent error detection; result-checking; debugging PDFBibTeX XMLCite \textit{H. Wasserman} and \textit{M. Blum}, J. ACM 44, No. 6, 826--849 (1997; Zbl 0904.68064) Full Text: DOI Link