Journal of the ACM Bibliography

Hal Wasserman and Manuel Blum. Software reliability via run-time result-checking. Journal of the ACM, 44(6):826-849, November 1997. [BibTeX entry]
Preliminary version

A preliminary version of these results was presented in: Manuel Blum and Hal Wasserman. Program result-checking: A theory of testing meets a test of theory. In 35th Annual Symposium on Foundations of Computer Science, pages 382-392, Santa Fe, New Mexico, 20-22 November 1994. IEEE.

Categories and Subject Descriptors: D.2.5 [Software Engineering]: Testing and Debugging; F.2.1 [Analysis of Algorithms and Problem Complexity]: Numerical Algorithms and Problems -- Computation of transforms; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs

General Terms: Reliability, Algorithms, Verification

Additional Key Words and Phrases: Built-in testing, concurrent error detection, debugging, fault tolerance, Fourier Transform, result-checking, self-correcting

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database