The weak mutation hypothesis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The weak mutation hypothesis

Full text

Pdf (720 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: 190 - 199

Year of Publication: 1991

ISBN:0-89791-449-X

Author

Brian Marick

Motorola, Inc., 1101 E. University, Urbana, IL

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 30, 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.120825 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.

	Basili84	V. Basili and D. Weiss "A Methodology for collecting valid software engineering data, IEEE Transactions on Software Engineering, vol. SE-10, pp. 728-738, November, 1984.
	Basili87	Victor R. Basili , Richard W. Selby, Comparing the effectiveness of software testing strategies, IEEE Transactions on Software Engineering, v.13 n.12, p.1278-1296, December 1, 1987 [doi>10.1109/TSE.1987.232881]
	Budd80	Timothy Budd, R.A. DeMillo, R.J. Lipton, and F.G. Sayward. Theoretical and Empirical Studies on Program Mutation to Test the Functional Correctness of Programs. Technical Report GIT-ICS 80/01, Georgia Institute of Technology, 1980.
	DeMillo78	R.A. Demillo, R.J. Lipton, and F.G. Sayward, Hints on test data selection: help for the practicing programmer. Computer. vol. 11, no. 4, pp. 34-41, April, 1978.
	DeMillo88	R.A. DeMillo and A.J. Offutt. "Experimental Results of Automatically Generated Adequate Test Sets". Proceedings of the 6th Annual Pacific Northwest Software Quality Conference, Portland, Oregon, September 1988.
	Girgis86	M.R. Girgis, M.R. Woodward. "An experimental comparison of the error exposing ability of program testing criteria". In Proceeding of the Workshop on Software Te8ting Conference, pp. 64-73, Banff, Canda, 1986.
	Glass81	Robert L. Glass. "Persistent Software Errors". Transactions on Software Engineering, vol. SE-7, No. 2, pp. 162-168, March, 1981.
	Hennell84	M. A. Hennell , D. Hedley , I. J. Riddell, Assessing a class of software tools, Proceedings of the 7th international conference on Software engineering, p.266-277, March 26-29, 1984, Orlando, Florida, United States
	Howden78	W. E. Howden. "An Evaluation of the Effectiveness of Symbolic Testing". Software - Practice and Experience, vol. 8, no. 47 pp. 381-398, July -August, 1978.
	Howden80	W. E. Howden, Applicability of Software Validation Techniques to Scientific Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.307-320, July 1980 [doi>10.1145/357103.357107]
	Howden82	W. E. Howden. "Weak Mutation Testing and Completeness of Test Sets". IEEE Transactions on Software Engineering, vol. SE-8, No. 4, pp. 371-379, July, 1982.
	Howden87	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	Johnson83	W .L Johnson, E. Soloway, B. Cutler, and S.W. Draper. Bug Catalogue: I. Yale University Technical Report, October, 1983.
	Lauterbach89	L. Lauterbach and W. Randall. "Experimental Evaluation of Six Test Techniques". Proceedings of COMPASS 89, Washington, DC, June 1988, pp. 36-41.
	Marick90	B. Marick. Two Experiments in Software Testing. Technical Report UIUCDCS-R- 90-1644, University of Illinois, 1990.
	McCabe76	T. McCabe. "A Complexity Measure". IEEE Transactions on Software Engineering, vol. SE-12, No. 4, December, 1976.
	Morell83	Larry Joe Morell, A theory of error-based testing, 1983
	Morell90	L. J. Morell, A Theory of Fault-Based Testing, IEEE Transactions on Software Engineering, v.16 n.8, p.844-857, August 1990 [doi>10.1109/32.57623]
	Myers78	Glenford J. Myers, A controlled experiment in program testing and code walkthroughs/inspections, Communications of the ACM, v.21 n.9, p.760-768, Sept. 1978 [doi>10.1145/359588.359602]
	Myers79	Glenford J. Myers, Art of Software Testing, John Wiley & Sons, Inc., New York, NY, 1979
	Ning89	Jim Qun Ning , M. T. Harandi, A knowledge-based approach to automatic program analysis, 1989
	Ntafos84	Simeon C. Ntafos, An evaluation of required element testing strategies, Proceedings of the 7th international conference on Software engineering, p.250-256, March 26-29, 1984, Orlando, Florida, United States
	Offutt88	Andrew Jefferson Offutt, VI , R. A. Demillo, Automatic test data generation, 1988
	Offutt89	A. Offutt, The coupling effect: fact or fiction, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.131-140, Dec. 1989
	Ostrand84	Thomas J. Ostrand , Elaine J. Weyuker, Collecting and categorizing software error data in an industrial environment, Journal of Systems and Software, v.4 n.4, p.289-300, Nov. 1984 [doi>10.1016/0164-1212(84)90028-1]
	Pearson04	K. Pearson. On the Theory of Contingency and h Relation to Association and Normal Correlation. London: Draper's Co. Memoirs, Biometric Series No. 1, 1904.
	Rich90	Charles Rich , Richard C. Waters, The programmer's apprentice, ACM Press, New York, NY, 1990
	Richardson88	Debra J. Richardson and Margaret C. Thompson. The RELAY model of error detection and its application. Proceedings of the ACM SIGSOFT/IEEE Second Workshop on Software Testing, Analysis and Verification, Banff, Canada, July 1988.
	SERC87	The Mothra Software Testing Environment. Software Engineering Research Center report SERC-TR-4-P, Purdue University, 1987.
	Spohrer85	J.C. Spohrer, E. Pope, M. Lipman, W. Scak, S. Freiman, D. Littman, L. Johnson, E. Soloway. Bug Catalogue: II, III, IV. Yale University Technical Report YALEU/CSD/RR#386, May 1985.
	Woodward80	M.R. Woodward, D. Hedley, and M.A. Hennell. "Experience with path analysis and testing of programs". Transaction on Software Engineering, vol. SE-6, No. 3, pp. 278-286, May, 1980.
	Woodward88	M.R. Woodward and K. Halewood "From Weak to Strong, Dead or Alive? An Analysis of Some Mutation Testing Issues". Proceedings of the ACM SIGSOFT/IEEE Second Workshop on Software Testing, Analysis and verification, Banff, Canada, July 1988.

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
	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
	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
	A. J. Offutt , S. D. Lee, An Empirical Evaluation of Weak Mutation, IEEE Transactions on Software Engineering, v.20 n.5, p.337-344, May 1994
	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
	Xinming Wang , S. C. Cheung , W. K. Chan , Zhenyu Zhang, Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.45-55, May 16-24, 2009