Testing a safety-critical application

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Testing a safety-critical application

Full text

Pdf (131 KB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis table of contents

Seattle, Washington, United States

Page: 199

Year of Publication: 1994

ISBN:0-89791-683-2

Authors

John C. Knight	Univ. of Virginia, Charlottesville
Aaron G. Cass	Univ. of Virginia, Charlottesville
Antonio M. Fernández	Univ. of Virginia, Charlottesville
Kevin G. Wika	Univ. of Virginia, Charlottesville

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 23, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/186258.187198 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Weyuker, E. J., "On Testing Non-Testable Programs," Computer Journal Vol. 25-4, November 1982.
	2	R. W. Butler , G. B. Finelli, The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Transactions on Software Engineering, v.19 n.1, p.3-12, January 1993 [doi>10.1109/32.210303]