Assessing oracle quality with checked coverage

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011

Volumn , Issue , 2011, Pages 90-99

  Schuler, David ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

coverage metrics; dynamic slicing; mutation testing; test suite quality

Indexed keywords

COVERAGE METRICS; DYNAMIC SLICING; MUTATION TESTING; OPEN SOURCE PROJECTS; TEST SUITE QUALITY;

COMPUTER SOFTWARE SELECTION AND EVALUATION; VERIFICATION;

SOFTWARE TESTING;

EID: 79958743339     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2011.32     Document Type: Conference Paper

References (32)

1. M. Weiser, "Program slices: formal, psychological, and practical investigations of an automatic program abstraction method," Ph.D. dissertation, University of Michigan, 1979.
2. -, "Program slicing," IEEE Trans. on Software Engineering, vol. 10, no. 4, pp. 352-357, 1984.
3. B.Korel and J. Laski, "Dynamic program slicing," Information Processing Letters, vol. 29, no. 3, pp. 155-163, 1988.
4. C. Hammacher, "Design and Implementation of an Efficient Dynamic Slicer for Java," Bachelor's Thesis, Saarland University, November 2008.
5. C. G. Nevill-Manning, I. H. Witten, and D. Maulsby, "Compression by induction of hierarchical grammars," in Data Compression Conference, 1994, pp. 244-253.
6. C. G. Nevill-Manning and I. H. Witten, "Linear-time, incremental hierarchy inference for compression," in Data Compression Conference, 1997, pp. 3-11.
7. T. Wang and A. Roychoudhury, "Using compressed bytecode traces for slicing Java programs," in ICSE '04: Proceedings of the 26th International Conference on Software Engineering, 2004, pp. 512-521.
8. -, "Dynamic slicing on Java bytecode traces," ACM Trans. on Programming Languages and Systems, vol. 30, no. 2, 2008.
9. H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering, vol. 10, no. 4, pp. 405-435, 2005.
10. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is mutation an appropriate tool for testing experiments?" in ICSE '05: Proceedings of the 27th International Conference on Software Engineering, 2005, pp. 402-411.
11. J. C. Huang, "An approach to program testing," ACM Computing Surveys, vol. 7, no. 3, pp. 113-128, 1975.
12. S. C. Ntafos, "A comparison of some structural testing strategies," IEEE Trans. on Software Engineering, vol. 14, no. 6, pp. 868-874, 1988.
13. E. J. Weyuker, S. N. Weiss, and R. G. Hamlet, "Comparison of program testing strategies," in Symposium on Testing, Analysis, and Verification, 1991, pp. 1-10.
14. P. G. Frankl, S. N. Weiss, and C. Hu, "All-uses versus mutation testing: An experimental comparison of effectiveness," Systems and Software, vol. 38, pp. 235-253, 1997.
15. S. Rapps and E. J. Weyuker, "Data flow analysis techniques for test data selection," in ICSE '82: Proceedings of the 6th international conference on Software engineering, 1982, pp. 272-278.
16. A. J. Offutt and R. H. Untch, "Mutation 2000: Uniting the orthogonal," pp. 34-44, 2001.
17. R. A. DeMillo, R. J. Lipton, and F. Sayward, "Hints on test data selection: Help for the practicing programmer," Computer, vol. 11, no. 4, pp. 34-41, 1978.
18. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf, "An experimental determination of sufficient mutant operators," ACM Trans. on Software Engineering and Methodology, vol. 5, no. 2, pp. 99-118, 1996.
19. L. Zhang, S.-S. Hou, J.-J. Hu, T. Xie, and H. Mei, "Is operator-based mutant selection superior to random mutant selection?" in ICSE' 10: Proceedings of the 32nd International Conference on Software Engineering, 2010, pp. 435-444.
20. R. H. Untch, A. J. Offutt, and M. J. Harrold, "Mutation analysis using mutant schemata," in ISSTA '93: Proceedings of the International Symposium on Software Testing and Analysis, 1993, pp. 139-148.
21. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations," in ISSTA '09: Proceedings of the International Symposium on Software Testing and Analysis, 2009, pp. 69-80.
22. D. Schuler and A. Zeller, "(Un-)Covering equivalent mutants," in ICST'10: Proceedings of the 3rd International Conference on Software Testing Verification and Validation, 2010, pp. 45-54.
23. A. D. Lucia, A. R. Fasolino, and M. Munro, "Understanding function behaviors through program slicing," in 4th International Workshop on Program Comprehension, 1996, pp. 9-10.
24. M. Harman and S. Danicic, "Amorphous program slicing," in 5th International Workshop on Program Comprehension, 1997, pp. 70-79.
25. F. Tip, "A survey of program slicing techniques," Journal of Programming Language, vol. 3, no. 3, pp. 121-189, 1995.
26. M. Harman and R. M. Hierons, "An overview of program slicing," Software Focus, vol. 2, no. 3, pp. 85-92, 2001.
27. A. Leitner, M. Oriol, A. Zeller, I. Ciupa, and B. Meyer, "Efficient unit test case minimization," in Proceedings of the 22nd international conference on Automated Software Engineering, 2007, pp. 417-420.
28. C. Hammacher, K. Streit, S. Hack, and A. Zeller, "Profiling Java programs for parallelism," in IWMSE'09: Proceedings of the 2nd International Workshop on Multi-Core Software Engineering, 2009.
29. R. Hierons and M. Harman, "Using program slicing to assist in the detection of equivalent mutants," Software Testing, Verification and Reliability, vol. 9, no. 4, pp. 233-262, 1999.
30. K. Koster and D. Kao, "State coverage: A structural test adequacy criterion for behavior checking," in ESEC/FSE '07: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, pp. 541-544.
31. K. Koster, "A state coverage tool for JUnit," in ICSE '08: Proceedings of the 30th International Conference on Software Engineering, 2008, pp. 965-966.
32. J. A. Clause, W. Li, and A. Orso, "Dytan: A generic dynamic taint analysis framework," in ISSTA '07: Proceedings of the International Symposium on Software Testing and Analysis, 2007, pp. 196-206.