Automated Debugger for Parallel Programs.

The article reports on the development of an automated debugging program for nuclear weapons certification software.

Bibliographic Details
Published in:	Communications of the ACM Vol. 53; no. 8; p. 16
Main Author:	Rosenberger, Jack
Format:	Article
Published:	Association for Computing Machinery Aug2010
Subjects:	Computer debugging software Nuclear weapons safety
Online Access:	View this record in EBSCOhost

Description
Summary:	The article reports on the development of an automated debugging program for nuclear weapons certification software.