Improving Information Quality for the Warfighter through Self-Checking Systems References

1. Butler, R., Finelli, G., "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software", IEEE Transactions on Software Engineering, Vol. 19, No. 1, January, 1993.

2. Blum, M., Kannan, S. "Designing Programs that Check their Work", Proceedings of the ACM 21st Annual Symposium on the Theory of Computing, May, 1989.

3. Wasserman, H., Blum, M., "Software Reliability via Run-Time Result-Checking", Journal of the ACM, Vol. 44, No. 6, November, 1997.

4. Shreve, D., Mellema, D. J., Boettcher, C., "Real-time Checkers: Built-in Test for Mission Critical Software", IEEE/AIAA Digital Avionics Systems Conference Proceedings, Vol. I, October 26-30, 1997.

5. Boettcher, C., Mellema, D. J., "Program Checkers: Practical Applications to Real-Time Software", Test Facility Working Group Conference, 1995.

6. Blum, M., Wasserman, H., "Reflections on the Pentium Division Bug", IEEE Transactions on Computers, Vol. 45, No. 4, April, 1996.

7. Reinhart, T., Boettcher, C., Wasserman, H., "An Automated Testing Methodology Based on Self-Checking Software", NAECON Proceedings, IEEE, July, 1998.

8. “Self-Checking Embedded Information System Software Interim Report”, December 1997 - November 1998, Raytheon Systems Company, Los Angeles, CA.