Run-time consistency checking of algebraic specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Run-time consistency checking of algebraic specifications

Full text

Pdf (665 KB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the symposium on Testing, analysis, and verification table of contents

Victoria, British Columbia, Canada

Pages: 123 - 129

Year of Publication: 1991

ISBN:0-89791-449-X

Author

Sriram Sankar

Program Analysis and Verification Group, Computer Systems Laboratory, Stanford University

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 13, Citation Count: 9

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/120807.120818 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	John Gannon , Paul McMullin , Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.211-223, July 1981 [doi>10.1145/357139.357140]
	2	J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acts Informatica, 10:27-52, 1978.
	3	D. E. Knuth and P. B. Bendix. Simple word problems in universal algebras. In John Leech, editor, Computational Problems in Abstract Algebra, pages 263-297, Pergamon Press, 1969.
	4	David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brückner , Olaf Owe, ANNA: a language for annotating Ada programs, Springer-Verlag New York, Inc., New York, NY, 1987
	5	David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brückner , Olaf Owe, ANNA: a language for annotating Ada programs, Springer-Verlag New York, Inc., New York, NY, 1987
	6	Sriram Sankar , David C. Luckham, Automatic runtime consistency checking and debugging of formally specified programs, 1989
	7	Sriram Sankar , David Rosenblum, The complete transformation methodology for sequential runtime checking of an ANNA subset, Stanford University, Stanford, CA, 1986

CITED BY 9

	Debra J. Richardson , Stephanie Leif Aha , T. Owen O'Malley, Specification-based test oracles for reactive systems, Proceedings of the 14th international conference on Software engineering, p.105-118, May 11-15, 1992, Melbourne, Australia
	David S. Rosenblum, Towards a method of programming with assertions, Proceedings of the 14th international conference on Software engineering, p.92-104, May 11-15, 1992, Melbourne, Australia
	David S. Rosenblum, A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, v.21 n.1, p.19-31, January 1995
	Sergio Antoy , Dick Hamlet, Automatically Checking an Implementation against Its Formal Specification, IEEE Transactions on Software Engineering, v.26 n.1, p.55-69, January 2000
	Lori A. Clarke , David S. Rosenblum, A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
	Johannes Henkel , Amer Diwan, A Tool for Writing and Debugging Algebraic Specifications, Proceedings of the 26th International Conference on Software Engineering, p.449-458, May 23-28, 2004
	Johannes Henkel , Christoph Reichenbach , Amer Diwan, Developing and debugging algebraic specifications for Java classes, ACM Transactions on Software Engineering and Methodology (TOSEM), v.17 n.3, p.1-37, June 2008
	Christian Murphy, Using runtime testing to detect defects in applications without test oracles, Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium, p.21-24, November 10-10, 2008, Atlanta, Georgia
	Christian Murphy , Kuang Shen , Gail Kaiser, Automatic system testing of programs without test oracles, Proceedings of the eighteenth international symposium on Software testing and analysis, July 19-23, 2009, Chicago, IL, USA