Analysis and Tools

• Slicing
• Error Analysis
• Safety/Security
• Maintenance

Slicing

• Lyle, James R., and Dolores R. Wallace, "Using the Unravel Program Slicing Tool to Evaluate High Integrity Software," Quality Week 97, San Francisco, May 27-30, 1997.
• L. Beltracchi, J. Lyle, D. Wallace, "Using a Program Slicing CASE Tool for Evaluating High Integrity Software Systems," Proceedings, Nuclear Plant Instrumentation, Control and Human Interface Technologies Conference, May, 1996.
• J.R. Lyle, D.R. Wallace, J.R. Graham, K.B. Gallagher, J.P. Poole, D.W. Binkley, "Unravel: A CASE Tools to Assist Evaluation of High Integrity Software, Volume 1: Requirements and Design and Volume 2: User Manual," NIST IR 5691, August, 1995.
• B. Cuthill B. and M. Zelkowitz, "The Integrated Technology and Measurement Model," Proceedings, Software Technology Conference, April, 1995.
• M.V. Zelkowitz and B. Cuthill, "Information Technology Engineering and Measurement (ITEM) Model," NIST IR 5522, December, 1994.
• J.R. Lyle, "Program Slicing," Software Engineering Encyclopedia, John Wiley and Sons, February, 1994.
• D.R. Wallace, J.R. Lyle, K.B. Gallagher, and L.M. Ippolito, "Assessing Functional Diversity by Program Slicing," Proceedings, 21st Water Safety Reactor Information Meeting, Nuclear Regulatory Commission, October, 1993.
• J.R. Lyle and D.W. Binkley, "Program Slicing in the Presence of Pointers", Proceedings of the Third Annual Software Engineering Research Forum, Orlando, FL, November 11-12, 1993.
• Keith Gallagher and James Lyle. "Software Safety and Program Slicing," COMPASS '93, IEEE Publication, June 1993.
• Lyle, James. "Program Dicing," submitted to IEEE Transactions on Software Engineering, 1991.
• K.B. Gallagher and J.R. Lyle, "Using Program Slicing in Software Maintenance," IEEE Transactions on Software Engineering, Vol. 17, No. 8, August, 1991.
• J.R. Lyle and M. Weiser, "Automatic Program Bug Location by Program Slicing," The Second International Conference on Computers and Applications, June, 1987.
• M. Weiser and J.R. Lyle, "Experiments on Slicing-Based Debugging Aids," Empirical Studies for Programmers, Ablex Publishing Corporation, 1986.

Error Analysis

• D.R. Wallace, Editor, A Testability-Based Assertion Placement Tool for Object-Oriented Software, "html version" or "pdf version" NIST GCR 98-735, January, 1998.
• Clapp, J.A., S.F. Stanten, W.W. Peng, D.R. Wallace, D.A. Cerino, R.J. Dziegiel, Jr., "Software Quality Control, Error Analysis, and Testing," Noyes Data Corporation, 1994.
• W.W. Peng and D.R. Wallace, "Software Error Analysis," NIST SP 500-209, December, 1992.

Safety/Security

• Wallace, Dolores R. and Mark LaRoy Zimmerman, "The EFFective Manager Tool," NISTIR 6137, Gaithersburg, MD, April 1998.
• Ippolito, Laura M., Wallace, Dolores R., Software Hazard Analysis, NIST-IR5589, January 1995.
• Abrams M. D. and M. V. Zelkowitz, "Striving For Correctness," Computer and Security 14 (1995) 719--738.
• Abrams M. D. and M. V. Zelkowitz, "Belief in Correctness," National Computer Security Conference, Baltimore, October, 1994, 132-141.
• D.R. Kuhn, "Static Analysis Tools for Software Security Certification," Proceedings, 11th National Computer Security Conference, NSA/NBS, October, 1988.
• Cuthill, Barbara B., "Applicability of Object-Oriented Design Methods and C++ to Safety-Critical Systems", Proceedings from Workshop on Digital Systems Reliability and Nuclear Safety.

Maintenance