This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
October 1995 (vol. 21 no. 10)
pp. 858-861

[1] A.T. Acree,“On mutation,” PhD thesis, School of Information and Computer Science,Georgia Institute of Tech nology, Atlanta, Ga., 1980 (available as GIT-ICS-80/12).
[2] H. Agrawal,R.A. DeMillo,R. Hathaway,W. Hsu,W. Hsu,E.W. Krauser,R.J. Martin,A.P. Mathur,, and E.H. Spafford,“The design of mutant operators for the C programming language,” Technical Report SERC-TR-41-P, The Software Engineering Research Center, Purdue, University, Mar. 1989.
[3] T.A. Budd,“Mutation analysis of program test data,” PhD thesis, Yale University, New Haven, Conn., 1980.
[4] T.A. Budd,“Mutation analysis: Ideas, examples, problems and prospects,” B. Chadrasekaran and S. Radicchi, eds., Computer Program Testing.Amsterdam: North-Holland, July 1981, pp. 129-148.
[5] T.A. Budd,R.A. DeMillo,R.J. Lipton,, and F.G. Sayward,“The design of a prototype mutation system for program testing,” Proc. 1978 Nat’l Computer Conf.,Alexandria, Va., 1978.
[6] T.A. Budd,R.A. DeMillo,R.J. Lipton,, and F.G. Sayward,“Theoretical and empirical studies on using program mutation to test thefunctional correctness of programs,” Proc. Seventh ACM Symp. on Principles of Programming Languages,Las Vegas, Nev., 1980.
[7] B.J. Choi,R.A. DeMillo,E.W. Krauser,A.P. Mathur,R.J. Martin,A.J. Offutt,H. Pan,, and E.H. Spafford,“The Mothra toolset,” Proc. 22nd Ann. Hawaii Int’l Conf. on Systems Sciences,Kona, Hawaii, Jan. 1989.
[8] 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,” Proc. Second ACM/IEEE Workshop on Software Testing, Verification, andAnalysis,Banff, Alberta, Canada, July 1988, pp. 142-151.
[9] R.A. DeMillo,R.J. Lipton,, and F.G. Sayward,“Hints on test data selection: Help for the practicing programmer,” IEEE Computer, vol. 11, no. 4, Apr. 1978, pp. 34-41.
[10] R.A. DeMillo and A.J. Offutt,“Constraint based automatic test data generation,” IEEE Transactions on Software Engineering, vol. 17, no. 9, Sept. 1991, pp. 900-910.
[11] P.G. Frankl and S.N Weiss,“An experimental comparison of the effectiveness of branch testing and data flow testing,” IEEE Transactions on Software Engineering, vol. 19, no. 8, Oct. 1993, pp. 774-787.
[12] P.G. Frankl and E.J. Weyuker,“A formal analysis of the fault-detecting ability of testing methods,” IEEE Transactions on Software Engineering, vol. 19, no. 3, Mar. 1993, pp. 202-213,
[13] P.G. Frankl and E.J. Weyuker,“Provable improvements on branch testing,” IEEE Transactions on Software Engineering, vol. 19, no. 10, Oct. 1993, pp. 962-975.
[14] J.R. Horgan and S.A. London,“Dataflow coverage and the C language,” Proc. Fourth Symp. on Software Testing, Analysis and Verification,Victoria, British Columbia, Canada, Oct. 1991, pp. 87-97.
[15] J.C. Maldonado,M.E. Delamaro,M. Jino,, and M. Chaim,“PROTEUM: A testing tool based on mutant analysis,” Proc. Seventh Brazilian Symp. on Software Engineering,Rio de Janeiro, Brazil, Oct. 1993.
[16] A.P. Mathur,“Performance, effectiveness, and reliability issues in Software testing,” Proc. 15th Ann. Int’l Computer Software and Applications Conf.,Tokyo, Japan, Sept. 1991, pp. 604-605.
[17] A.P. Mathur,“Mutation testing,” J. Maraniak, ed., Encyclopedia of Software Engineering.New York: John Wiley, 1994 pp. 707-713.
[18] A.P. Mathur and W.E. Wong,“Fault detection effectiveness of mutation and data flow testing,” Software Quality J., vol. 4, no. 1, pp. 69-83, Mar. 1995.
[19] A.P. Mathur and W.E. Wong,“Evaluation of the cost of alternate mutation testing strategies,” Proc. Seventh Brazilian Symp. on Software Engineering,Rio de Janeiro, Brazil, Oct. 1993.
[20] A.P. Mathur and W.E. Wong,“A theoretical comparison between mutation and data flow based on test adequacy criteria,” Proc. 1994 ACM Computer Science Conference,Phoenix, Ariz., Mar. 1994.
[21] A.P. Mathur and W.E. Wong,“An empirical comparison of data flow and mutation-based test adequacy criteria,” J. of Software Testing Verification and Reliability, vol. 4, no. 1, Mar. 1994, pp. 9-31.
[22] G.J. Myers,The Art of Software Testing.New York: Wiley, 1979.
[23] A.J. Offutt,“Investigations of the software testing coupling effect,” ACM Trans. on Software Engineering and Methodology, vol. 1, no. 1, Jan. 1992, pp. 3-18.
[24] A.J. Offutt, C.Z. Rothermel, and C. Zapf, "An Experimental Evaluation of Selective Mutation," Proc. Int'l Conf. Software Eng., pp. 100-107, 1993.
[25] E. J. Weyuker, S. N. Weiss, and D. Hamlet,“Comparison of program testing strategies,”inProc. Symp. Testing, Anal., Verification(Victoria, B.C.), Oct. 1991, pp. 1–10.
[26] W.E. Wong,“On mutation and data flow,” PhD thesis, Department of Computer Sciences, Purdue University, West Lafayette, Ind., Dec. 1993 (also available as SERC-TR-149-P, Software EngineeringResearch Center, Purdue University).

Citation:
Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong, "Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods," IEEE Transactions on Software Engineering, vol. 21, no. 10, pp. 858-861, Oct. 1995, doi:10.1109/32.469455
Usage of this product signifies your acceptance of the Terms of Use.