Validating programs without specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Validating programs without specifications

Full text

Pdf (1.08 MB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification table of contents

Key West, Florida, United States

Pages: 2 - 9

Year of Publication: 1989

ISBN:0-89791-342-6

Also published in ...

Author

W. Howden

University of California at. San Diego

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 24, Citation Count: 1

Additional Information:

abstract 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/75308.75310 What is a DOI?

ABSTRACT

This work was supported by the Office of Naval Research and the Naval Weapons Center

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	K. A. Foster, Sensitive test data for logic expressions, ACM SIGSOFT Software Engineering Notes, v.9 n.2, p.120-125, April 1984 [doi>10.1145/1010925.1010935]
	2	R.A. DeMillo, D.S. Guindi, K.N. King, W.M. McCracken and A.J. Offutt, An extended overview of the Mothra software testing environment, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, 1988, IEEE Computer Society.
	3	R.G. Hamlet, Testing programs with the aid of a compiler, IEEE Transactions on Software Engineering, July, 1977.
	4	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	5	L.J. Morell, Theoretical insights into fault-based testing, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, 1988, IEEE Computer Society.
	6	D.J. Richardson and M.C. Thompson, The RELAY model of error detection and its application, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, 1988, IEEE Computer Society.
	7	M.R. Woodward, and K. Halewood, Proceedings of the Second Workshop on Sofiware Testing, Verification, and Analysis, Banff, 1988, IEEE Computer Society.
	8	D. Wu, M.A. Hennell, D. Hedley, L.J. Riddell, A Practical Method for Software Quality Control via Program Mutation, Proceedings of the Second Workshop on Software Testing, Verijication, and Analysis, Banff, 1988, IEEE Computer Society.
	9	E. Weyuker and T.J. Ostrand, Error based program testing, Proceedings of Thirteenth Conference on Information Sciences and Systems, The Johns Hopkins University, Baltimore, March, 1979.
	10	S. Zeil, Testing for perturbations of program statements, IEEE Transactions on Software Engineering, May 1983.
	11	L. A. Clarke , A. Podgurski , D. J. Richardson , S. J. Zeil, A Formal Evaluation of Data Flow Path Selection Criteria, IEEE Transactions on Software Engineering, v.15 n.11, p.1318-1332, November 1989 [doi>10.1109/32.41326]
	12	B. Korel and J. Laski, STAD: A system for testing and debugging: user perspective, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, 1988, IEEE Computer Society.
	13	S. C. Ntafos, On testing with required elements, Proceedings of COMPSAC 81, Chicago, 1981, IEEE Computer Society.
	14	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]
	15	John B. Goodenough , Susan L. Gerhart, Toward a theory of test data selection, ACM SIGPLAN Notices, v.10 n.6, p.493-510, June 1975
	16	L. A. Clarke, J. Hassel and D.J. Richardson, A close look at domain testing, IEEE Transactions on Software Engineering, July, 1982.
	17	L. J. White and E. I. Cohen, A domain strategy for computer program testing, IEEE Transactions on sofhvare Engineering, May, 1980.
	18	L. J. Osterweil and L. D. Fosdick, DAVE- A validation error detection and documentation system for Fortran programs, Software Practice and Experience, December, 1976.
	19	L.L. Werner and W.E. Howden, An investigation of the applicability of data usage analysis, UCSD CS87-I 11.
	20	G S Avrunin , L K Dillon , J C Wileden , W E Riddle, Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems, IEEE Transactions on Software Engineering, v.12 n.2, p.278-292, Feb. 1986
	21	W.E. Howden, A general model for static analysis, Proceedings 16th Annual Hawaii International Conference on system Sciences, Honolulu, 1983.
	22	Kurt M. Olender , Leon J. Osterweil, Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation, IEEE Transactions on Software Engineering, v.16 n.3, p.268-280, March 1990 [doi>10.1109/32.48935]
	23	R.N. Taylor and L. Osterweil, Analysis and testing based on sequencing specifications, Proceedings of the 4th Jerusalem Conference on Information Technology, 1984.
	24	E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986 [doi>10.1145/5397.5399]