How strong is weak mutation?

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

How strong is weak mutation?

Full text

Pdf (1.25 MB)

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: 200 - 213

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

A. Jefferson Offutt	Department of Computer Science, Clemson University, Clemson, SC
Stephen D. Lee	Department of Computer Science, Clemson University, Clemson, SC

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

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

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.120826 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.

	ABD+79	A. T. Acree, T. A. Budd, R. A. De- Millo,R. J. Lipton, and F. G. Sayward.Mutation analysis. Technical report GIT-ICS-79/08, School of Information and Computer Science, Georgia Institute of Technology, Atlanta GA, September 1979.
	Acr80	Allen Troy Acree, Jr., On mutation, 1980
	CMP	B. Choi , A. Mathur , B. Pattison, PMothra: scheduling mutants for execution on a hypercube, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.58-65, December 13-15, 1989, Key West, Florida, United States
	DGK+88	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.In Proceedings of the Second Workshop on Software Testing, Veriscation, and Analysis, pages 142- 151, Banff Alberta, July 1988. IEEE Computer Society Press.
	DKM91	R. A. DeMillo, E. W. Krauser, and A. P. Mathur. Compiler-integrated program mutation, In Proceedings of the Fifteenth Annual Computer Software and Applications Conference, Tokyo, Japan, September 1991. Kogakuin University.
	DLS78	R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34- 41, April 1978.
	DO91	Richard A. DeMillo , A. Jefferson Offutt, Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, v.17 n.9, p.900-910, September 1991 [doi>10.1109/32.92910]
	Fos80	K. Foster. Error sensitive test case analysis. IEEE Transactions on Software Engineering, 6(3):258-264, May 1980.
	GW85	M. R. Girgis , M. R. Woodward, An integrated system for program testing using weak mutation and data flow analysis, Proceedings of the 8th international conference on Software engineering, p.313-319, August 28-30, 1985, London, England
	Ham77	R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering, 3(4), July 1977.
	Hm90	J. R. Horgan and A. P. Mathur. Weak mutation is probably strong mutation. Technical report SERC- TR-83-P, Software Engineering Research Center, Purdue University, West Lafayette IN, December 1990.
	How78	W. E. Howden. Algebraic program testing. Acts Informatica, 10(1):53- 66, 1978.
	How82	W. E. Howden. Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering, 8(4):371-379, July 1982.
	How87	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	KM86	E. W. Krauser and Aditya P. Mathur. Program testing on a massively parallel transputer based system.In Proceedings of the ISMM International Symposium on Mini and Microcomputers and their Applications,pages 67-71, Austin TX, November 1986.
	KMR88	E. W. Krauser, A. P. Mathur, and V. Rego. High performance testing on SIMD machines. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff Alberta, July 1988. IEEE Computer Society Press.
	KO91	K. N. King , A. Jefferson Offutt, A Fortran language system for mutation-based software testing, Software—Practice & Experience, v.21 n.7, p.685-718, July 1991 [doi>10.1002/spe.4380210704]
	Lee91	S. Lee. Weak vs. strong: An empirical comparison of mutation variants. Master's thesis, Department of Computer Science, Clemson University Clemson SC, 1991.
	Mar	B. Marick. Two experiments in software testing. Technical report UIUCDCS-R-90-1644, Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana-Champaign Illinois, November 1990.
	MK88	A. P. Mathur , E. W. Krauser, Modeling mutation on a vector processor, Proceedings of the 10th international conference on Software engineering, p.154-161, April 11-15, 1988, Singapore
	Mor84	Larry Joe Morell, A theory of error-based testing, 1983
	Mor88	L. J. Morell. Theoretical insights into fault-based testing. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, pages 45-62, Banff Alberta, July 1988. IEEE Computer Society Press.
	Off88	Andrew Jefferson Offutt, VI , R. A. Demillo, Automatic test data generation, 1988
	Off89	A. Offutt, The coupling effect: fact or fiction, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.131-140, December 13-15, 1989, Key West, Florida, United States
	RT88	D. J. Richardson and M. C. Thompson. The relay model for error detection and its application. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, pages 223-230, Banff Alberta, July 1988. IEEE Computer Society Press.
	WH88	M. R. Woodward and K, Halewood. From weak to strong, dead or alive? An analysis of some mutation testing issues. In Proceedings of the Second Workshop on Software Testing, Verification,and Analysis, pages 152- 158, Banff Alberta, July 1988. IEEE Computer Society Press.

CITED BY 6

	Hong Zhu , Patrick A. V. Hall , John H. R. May, Software unit test coverage and adequacy, ACM Computing Surveys (CSUR), v.29 n.4, p.366-427, Dec. 1997
	Stewart N. Weiss , Vladimir N. Fleyshgakker, Improved serial algorithms for mutation analysis, ACM SIGSOFT Software Engineering Notes, v.18 n.3, p.149-158, July 1993
	Richard A. DeMillo , A. Jefferson Offutt, Experimental results from an automatic test case generator, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.2, p.109-127, April 1993
	N. Juristo , A. M. Moreno , S. Vegas, Limitations of empirical testing technique knowledge, Lecture notes on empirical software engineering, World Scientific Publishing Co., Inc., River Edge, NJ, 2003
	Natalia Juristo , Ana M. Moreno , Sira Vegas, Reviewing 25 Years of Testing Technique Experiments, Empirical Software Engineering, v.9 n.1-2, p.7-44, March 2004
	Evan Martin , Tao Xie, A fault model and mutation testing of access control policies, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada