Completely validated software: test adequacy and program mutation (panel session)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Completely validated software: test adequacy and program mutation (panel session)

Full text

Pdf (271 KB)

Source

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

Pittsburgh, Pennsylvania, United States

Pages: 355 - 356

Year of Publication: 1989

ISBN:0-8186-1941-4

Author

R. A. DeMillo

Purdue University, West Lafayette, Indiana

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/74587.74634 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	R. DeMillo, R. Lipton and F. Sayward, "Program Mutation: A New Approach to Program Testing", Software Testing, InfoTech, 1979.
	2	W. Howden, "Reliability of the Path Analysis Testing Strategy" IEEE TSE, Vol. SE-2(3), September 1976.
	3	R. DeMillo, R. Lipton and F. Sayward, "Hints on Test Data Selection" Computer, Vol. 1 l(4), April 1978.
	4	D. Angluin and T. Budd, "Two Notions of Correctness and Their Relation to Testing" Acta Informatica, Vol. 18(l) November 1982.
	5	T. Budd, R. DeMillo, R. Lipton and F. Sayward, "Theoretical and Empirical Results in Program Testing" Proc. 9th ACM POPL, January 1980.
	6	T. Budd, R. DeMillo, R. Lipton and F. Sayward. "The Design of a Prototype Mutation System for Program Testing" Proc. 1978 NCC.
	7	R. DeMillo, D. Guindi, K. King, W. McCracken, A. Mathur, A. Offutt, "An Overview of the Mothra Software Testing Environment" Proc. 2nd Workshop on Testing, Banff, July 1988.
	8	A. Acree, T. Budd, R. DeMillo, R. Lipton and F. Sayward, "Mutation Analysis," Georgia Tech Report GIT/ICS-79-08, September 1979.
	9	Allen Troy Acree, Jr., On mutation, 1980
	10	B. Choi et al, "The Mothra Toolset" Proceedings 21 HICSS, January 1989.
	11	Timothy Alan Budd, Mutation analysis of program test data, 1980
	12	R. Hamlet, "Testing Program with the Aid of Compilers", IEEE TSE, Vol. SE-3(4), July 1977.
	13	W. Howden, "Weak Mutation Testing", IEEE TSE, Vol SE-8(2), July 1982.
	14	Patrick Joseph Walsh, A measure of test case completeness (software, engineering), 1985
	15	M. Girgis and M Woodward, " An experimental comparison of the Error Exposing Ability of Program Testing Criteria, Proceedings of 1986 Banff Workshop.

CITED BY 4

	Francesco Bergadano , Daniele Gunetti, Testing by means of inductive program learning, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.2, p.119-145, April 1996
	F. Bergadano, Test case generation by means of learning techniques, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.149-162, Dec. 1993
	Mary Jean Harrold, Testing: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.61-72, June 04-11, 2000, Limerick, Ireland
	Z. A. Al-Khanjari , M. R. Woodward , Haider Ali Ramadhan , N. S. Kutti, The Efficiency of Critical Slicing in Fault Localization, Software Quality Control, v.13 n.2, p.129-153, January 2005