Prioritizing mutation operators based on importance sampling

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2010, Pages 378-387

  Sridharan, Mohan ^a   Namin, Akbar Siami ^a  

^a Texas Tech University   (United States)

Author keywords

Bayesian reasoning; Importance sampling; Mutation testing; Testing effectiveness

Indexed keywords

BAYESIAN APPROACHES; BAYESIAN REASONING; FAULT-BASED TESTING; IMPORTANCE MEASURE; IMPORTANCE SAMPLING; MUTATION OPERATORS; MUTATION SCORE; MUTATION TESTING; PROBABILISTIC SAMPLING; SUFFICIENT SET;

BAYESIAN NETWORKS; COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE; SAMPLING; SOFTWARE RELIABILITY; SOFTWARE TESTING; STATISTICAL TESTS;

MATHEMATICAL OPERATORS;

EID: 79952020117     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2010.16     Document Type: Conference Paper

References (22)

1. 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, pp. 34-41, 1978.
2. R. G. Hamlet, "Testing programs with the aid of a compiler," IEEE Transactions on Software Engineering, vol. 3, no. 4, pp. 279-290, 1977.
3. M. E. Delamaro and J. C. Maldonado, "Proteum - a tool for the assessment of test adequacy for C programs," in Conference on Performability in Computing Systems (PCS 96), New Brunswick, NJ, July 1996, pp. 79-95.
4. Y.-S. Ma, J. Offutt, and Y. R. Kwon, "MuJava : An automated class mutation system," Software Testing, Verification and Reliability, vol. 15, no. 2, pp. 97-133, June 2005.
5. P. G. Frankl, S. N. Weiss, and C. Hu, "All-uses versus mutation testing," Systems and Software, 1996.
6. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is mutation an appropriate tool for testing experiments?" in International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, May 2005.
7. H. Agrawal, R. A. DeMillo, B. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. Spafford, "Design of mutant operators for the C programming language," Department of Computer Science, Purdue University, Tech. Rep. SERC-TR-41-P, April 2006.
8. A. J. Offutt and R. H. Untch, "Mutation 2000: Uniting the orthogonal," in Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, USA, October 2000, pp. 45-55.
9. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf, "An experimental determination of sufficient mutation operators," ACM Transactions on Software Engineering and Methodology, vol. 5, no. 2, pp. 99-118, April 1996.
10. A. Siami Namin, J. H. Andrews, and D. J. Murdoch, "Sufficient mutation operators for measuring test effectiveness," in International Conference on Software Engineering, Leipzig, Germany, May 2008, pp. 351-360.
11. R. H. Untch, "On reduced neighborhood mutation analysis using a single mutagenic operator," in Annual Southeast Regional Conference, Clemson, SC, USA, 2009.
12. D. Baldwin and F. Sayward, "Heuristics for determining equivalence of program mutations," Yale University, Department of Computer Science, Tech. Rep., 1979.
13. A. Offutt and J. Pan, "Detecting equivalent mutants and the feasible path problem," in The Annual Conference on Computer Assurance, Gaithersburg, USA, 1996, pp. 224-236.
14. R. Hierons, M. Harman, and S. Danicic, "Using program slicing to assist in the detection of equivalent mutants," Software Testing, Verification and Reliability, vol. 9, no. 4, pp. 233 - 262, 1999.
15. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations," in International Symposium on Software Testing and Analysis, Chicago, USA, 2009, pp. 69-80.
16. C. M. Bishop, Pattern Recognition and Machine Learning. Springer-Verlag, New York, 2008.
17. D. Fox, "Adapting the Sample Size in Particle Filters through KLD-Sampling," International Journal of Robotics Research, vol. 22, no. 12, pp. 985-1004, December 2003.
18. M. Sridharan, G. Kuhlmann, and P. Stone, "Practical Vision-Based Monte Carlo Localization on a Legged Robot," in The International Conference on Robotics and Automation, April 2005, pp. 3366-3371.
19. S. Thrun, W. Burgard, and D. Fox, Probabilistic Robotics. Cambridge, USA: MIT Press, 2005.
20. T. M. Cover and J. A. Thomas, Elements of Information Theory. Wiley Publishing House, 1991.
21. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments of the effectiveness of dataflow and controlflow-based test adequacy criteria," in International Conference on Software Engineering, Sorrento, Italy, May 1994.
22. A. Siami Namin and J. Andrews, "Finding sufficient mutation operators via variable reduction," in Mutation 2006, Raleigh, NC, USA, November 2006.