Benchmarking testing strategies with tools from mutation analysis

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 360-364

  Guderlei, Ralph ^a   Just, René ^a   Sehneckenburger, Christoph ^a   Schweiggert, Franz ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER SOFTWARE SELECTION AND EVALUATION; IMAGE SEGMENTATION; VERIFICATION;

EFFECTIVENESS MEASURES; INTERNATIONAL CONFERENCES; MUTATION ANALYSIS; TEST ORACLES; TESTING STRATEGIES; VERIFICATION AND VALIDATION;

SOFTWARE TESTING;

EID: 52249124338     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.11     Document Type: Conference Paper

References (18)

1. J. Andrews, L. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pages 402-411. ACM, 2005.
2. A. Bertolino. Software Testing Research: Achievements, Challenges, Dreams. In Proceedings of the International Conference on Software Engineering (ICSE 2007), pages 85-103. IEEE Computer Society Washington, DC, USA, 2007.
3. R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Professional, 1999.
4. T. Budd. Mutation Analysis of Program Test Data. PhD thesis, Yale University, 1980.
5. T. Y. Chen, T. Tse, and Z. Zhou. Fault based testing in the absence of an oracle. In Proceedings of the 25th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2001), pages 172-178. IEEE Computer Society, 2001.
6. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11:34-41, 1978.
7. R. Guderlei and J. Mayer. Towards automatic testing of imaging software by means of random and metamorphic testing. International Journal on Software Engineering and Knowledge Engineering (accepted; Special Issue on Quality Software, Invited extended version), 18(3), 2008.
8. R. Guderlei, J. Mayer, C. Schneckenburger, and F. Fleischer. Testing randomized software by means of statistical hypothesis tests. In Proceedings of SOQUA '07: Fourth international workshop on Software quality assurance, pages 46-54, New York, NY, USA, 2007. ACM.
9. K. N. King and A. J. Offutt. A fortran language system for mutation-based software testing. Software Practice and Experience, 21(7):685-718, 1991.
10. Y.-S. Ma, Y. R. Kwon, and J. Offutt. Inter-class mutation operators for java. In Proceedings of the 13th International Symposium on Software Reliability Engineering (IS-SRE 2002), pages 352-366, 2002.
11. Y.-S. Ma, J. Offutt, and Y. R. Kwon. Mujava: an automated class mutation system. Softw. Test., Verif. Reliab., 15(2):97- 133, 2005.
12. J. Mayer and R. Guderlei. An Empirical Study on the Selection of Good Metamorphic Relations. In Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006 (COMPSAC 06)., volume 1, 2006.
13. H. Mills. On the Statistical Validation of Computer Programs. Technical report, IBM FSD Report, 1970.
14. A. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology, 5(2):99-118, 1996.
15. J. Offutt and R. H. Untch. Mutation 2000: Uniting the orthogonal. In Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, pages 45-55, 2000.
16. A. Ofutt and J. Pan. Detecting equivalent mutants and the feasible path problem. The Journal of Software Testing, Verification, and Reliability, 7(3):165-192, 1997.
17. H. Rice. Classes of Recursively Enumerable Sets and Their Decision Problems. Transactions of the American Mathematical Society, 74(2):358-366, 1953.
18. E. Weyuker. On Testing Non-Testable Programs. The Computer Journal, 25(4):465-470, 1982.