Formal methods and testing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal methods and testing: why the state-of-the art is not the state-of-the practice

Full text

Pdf (348 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 21 , Issue 4 (July 1996) table of contents

Pages: 64 - 66

Year of Publication: 1996

ISSN:0163-5948

Author

David S. Rosenblum

AT&T Research

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 39, Citation Count: 3

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	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/232069.232086 What is a DOI?

CITED BY 3

	Matthew B. Dwyer , George S. Avrunin , James C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st international conference on Software engineering, p.411-420, May 16-22, 1999, Los Angeles, California, United States
	Matthew B. Dwyer , George S. Avrunin , James C. Corbett, Property specification patterns for finite-state verification, Proceedings of the second workshop on Formal methods in software practice, p.7-15, March 04-05, 1998, Clearwater Beach, Florida, United States
	Peter Gutmann, An open-source cryptographic coprocessor, Proceedings of the 9th conference on USENIX Security Symposium, p.8-8, August 14-17, 2000, Denver, Colorado

INDEX TERMS

David S. Rosenblum: colleagues