Mutation analysis and constraint-based criteria: Results from an empirical evaluation in the context of software testing

Journal of Electronic Testing: Theory and Applications (JETTA)

Volumn 20, Issue 4, 2004, Pages 439-445

  Soares, Inali Wisniewski ^a   Vergilio, Silvia Regina ^b  

^a UNICENTRO   (Brazil)

^b FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

Author keywords

Constraint based testing; Mutation testing; Structural testing criteria

Indexed keywords

CONSTRAINT-BASED TESTING; FAULT-BASED TECHNIQUES; MUTATION TESTING; STRUCTURAL TESTING CRITERIA;

AUTOMATIC TESTING; CONSTRAINT THEORY; DATA FLOW ANALYSIS; GRAPH THEORY; PRODUCT DEVELOPMENT; STRATEGIC PLANNING;

SOFTWARE ENGINEERING;

EID: 4444318082     PISSN: 09238174     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:JETT.0000039611.63828.bf     Document Type: Conference Paper

References (10)

1. M.L. Chaim, "POKE-TOOL - A Tool for Supporting Data Flow Based Testing," Master Thesis, DCA/FEEC/Unicamp. Campinas - SP, Brazil, April 1991 (in Portuguese).
2. R.A. De Millo, R.J. Lipton, and F.G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," IEEE Computer, vol. C-11, pp. 34-41, 1978.
3. M.E. Delamaro and J.C. Maldonado, "A Tool for the Assesment to Test Adequacy for C Programs," in Proceedings of the Conference on Performability in Computing Systems, East Brunswick, New Jersey, USA, July 1996, pp. 79-95.
4. J.C. Maldonado, M.L. Chaim, and M. Jino, "Briding the Gap in the Presence of Infeasible Paths: Potential Uses Testing Criteria," in XII International Conference of the Chilean Science Computer Society, Chile: Santiago, IEEE Press, Oct. 1992, pp. 323-340.
5. A.P Mathur and W.E. Wong, "An Empirical Comparison of Data Flow and Mutation Based Test Adequacy Criteria," The Journal of Software Testing, Verification and Reliability, vol. 4, no. 1, pp. 9-31, 1994.
6. G.J. Myers, The Art of Software Tenting, Wiley, 1979.
7. S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Trans. on Software Engineering, vol. SE-11, no. 4, pp. 367-375, 1985.
8. K.C. Tai, "Predicate-Based Test Generation for Computer Programs," in Proceedings of International Conference on Software Engineering, IEEE Press, May 1993, pp. 267-276.
9. S.R. Vergilio, J.C. Maldonado, and M. Jino, "Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing," Journal of Eletronic Testing, vol. 17, no. 2, pp. 175-183, 2001.
10. W.E. Wong, A.P. Mathur, and J.C. Maldonado, "Mutation Versus All-Uses: An Empirical Evaluation of Cost, Strength and Effectiveness," in Software Quality and Productivity - Theory, Practice, Education and Training, Hong Kong, Dec. 1994.