Towards a method of programming with assertions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards a method of programming with assertions

Full text

Pdf (1.16 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 14th international conference on Software engineering table of contents

Melbourne, Australia

Pages: 92 - 104

Year of Publication: 1992

ISBN:0-89791-504-6

Author

David S. Rosenblum

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
ACS :
IEA :
IREE :
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 72, Citation Count: 17

Additional Information:

references 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/143062.143098 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.

	BMU75	B. W. Boehm , R. K. McClean , D. B. Urfrig, Some experience with automated aids to the design of large-scale reliable software, Proceedings of the international conference on Reliable software, p.105-113, April 21-23, 1975, Los Angeles, California
	Fel79	Stuart I. Feldman. Make-a program for maintaining computer programs, Software- Practice and Experience, 9(3):255-265, March 1979.
	Flo67	Robert W. Floyd. Assigning meanings to programs. In Proceedings of the Symposium in Applied Mathematics, Volume XIX, pages 19-32. American Mathematical Society, April 1967.
	Fow90	G. Fowler, A case for make, Software—Practice & Experience, v.20 n.S1, p.35-46, June 1990 [doi>10.1002/spe.4380201305]
	HC88	Richard C. Holt , James R. Cordy, The Turing programming language, Communications of the ACM, v.31 n.12, p.1410-1423, Dec. 1988 [doi>10.1145/53580.53581]
	LCKS90	Nancy G. Leveson , Stephen S. Cha , John C. Knight , Timothy J. Shimeall, The Use of Self Checks and Voting in Software Error Detection: An Empirical Study, IEEE Transactions on Software Engineering, v.16 n.4, p.432-443, April 1990 [doi>10.1109/32.54295]
	LST91	David Luckham , Sriram Sankar , Shuzo Takahashi, Two-Dimensional Pinpointing: Debugging with Normal Specifications, IEEE Software, v.8 n.1, p.74-84, January 1991 [doi>10.1109/52.62935]
	Luc90	David C. Luckham, Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
	LvH85	David C. Luckham and Friedrich W. von Henke. An overview of Anna, a specification language for Ada. IEEE Software, 2(2):9-23, March 1985.
	Mey88	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	PE85	Dewayne E. Perry and W. Michael Evangelist. An empirical study of software interface faults. In Proceedings of the International Symposium on New Directions in Computing, pages 32-38. IEEE Computer Society, August 1985.
	PE87	Dewayne E. Perry and W. Michael Evangelist. An empirical study of software interface faults-an update. In Proceedings of the 20th Annual Hawaii International Conference on System Sciences, Volume II, pages 113-126, January 1987.
	Per89	Dewayne E. Perry, The inscape environment, Proceedings of the 11th international conference on Software engineering, p.2-11, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74588]
	RK91	David S. Rosenblum , Balachander Krishnamurthy, An event-based model of software configuration management, Proceedings of the 3rd international workshop on Software configuration management, p.94-97, June 12-14, 1991, Trondheim, Norway [doi>10.1145/111062.111074]
	RSL86	D S Rosenblum , S Sankar , D C Luckham, Concurrent runtime checking of annotated Ada programs, Proc. of the sixth conference on Foundations of software technology and theoretical computer science, p.10-35, December 1986, New Delhi, India
	RW85	Sandra Rapps , Elaine J. Weyuker, Selecting software test data using data flow information, IEEE Transactions on Software Engineering, v.11 n.4, p.367-375, April 1985 [doi>10.1109/TSE.1985.232226]
	San89	Sriram Sankar , David C. Luckham, Automatic runtime consistency checking and debugging of formally specified programs, 1989
	San91	Sriram Sankar, Run-time consistency checking of algebraic specifications, Proceedings of the symposium on Testing, analysis, and verification, p.123-129, October 08-10, 1991, Victoria, British Columbia, Canada [doi>10.1145/120807.120818]
	SF75	Leon G. Stucki , Gary L. Foshee, New assertion concepts for self-metric software validation, Proceedings of the international conference on Reliable software, p.59-71, April 21-23, 1975, Los Angeles, California
	SR86	Sriram Sankar , David Rosenblum, The complete transformation methodology for sequential runtime checking of an ANNA subset, Stanford University, Stanford, CA, 1986
	SRN85	Sriram Sankar , David Rosenblum , Randall Neff, An implementation of Anna, Proceedings of the 1985 annual ACM SIGAda international conference on Ada, p.285-296, May 14-16, 1985, Paris, France
	YC75	S. S. Yau , R. C. Cheung, Design of self-checking software, Proceedings of the international conference on Reliable software, p.450-455, April 21-23, 1975, Los Angeles, California

CITED BY 17

	Bogdan Korel , Ali M. Al-Yami, Assertion-oriented automated test data generation, Proceedings of the 18th international conference on Software engineering, p.71-80, March 25-29, 1996, Berlin, Germany
	Yih-Farn Chen , David S. Rosenblum , Kiem-Phong Vo, TestTube: a system for selective regression testing, Proceedings of the 16th international conference on Software engineering, p.211-220, May 16-21, 1994, Sorrento, Italy
	Glenn S. Fowler , David G. Korn , Kiem-Phong Vo, Principles for writing reusable libraries, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.150-159, Aug. 1995
	Axel van Lamsweerde , Emmanuel Letier, Integrating obstacles in goal-driven requirements engineering, Proceedings of the 20th international conference on Software engineering, p.53-62, April 19-25, 1998, Kyoto, Japan
	Peri Tarr , Lori A. Clarke, Consistency management for complex applications, Proceedings of the 20th international conference on Software engineering, p.230-239, April 19-25, 1998, Kyoto, Japan
	Peri Tarr , Lori A. Clarke, PLEIADES: an object management system for software engineering environments, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.56-70, Dec. 1993
	W. E. Howden , B. Wieand, QDA - A Method for Systematic Informal Program Analysis, IEEE Transactions on Software Engineering, v.20 n.6, p.445-462, June 1994
	Axel van Lamsweerde , Emmanuel Letier, Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, v.26 n.10, p.978-1005, October 2000
	Yoonsik Cheon , Gary T. Leavens, A contextual interpretation of undefinedness for runtime assertion checking, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.149-158, September 19-21, 2005, Monterey, California, USA
	Jun Sun , Wanghong Yuan , Mahesh Kallahalla , Nayeem Islam, HAIL: a language for easy and correct device access, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	WenQian Liu , Charles L. Chen , Vidya Lakshminarayanan , Dewayne E. Perry, A design for evidence - based soft research, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Gary T. Leavens , Yoonsik Cheon , Curtis Clifton , Clyde Ruby , David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005
	Raimondas Lencevicius , Edu Metz, Performance assertions for mobile devices, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Qing Xie , Atif M. Memon, Designing and comparing automated test oracles for GUI-based software applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.1, p.4-es, February 2007
	Yih-Farn Chen, Dagger: a tool to generate program graphs, Proceedings of the USENIX Applications Development Symposium Proceedings on USENIX Applications Development Symposium Proceedings, p.2-2, April 25-28, 1994, Toronto, Ontario, Canada
	A. Q. Gates , P. J. Teller, An Integrated Development Of A Dynamic Software-Fault Monitoring System, Journal of Integrated Design & Process Science, v.4 n.3, p.63-78, August 2000
	Herve Chang , Leonardo Mariani , Mauro Pezze, In-field healing of integration problems with COTS components, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.166-176, May 16-24, 2009