Using program slicing to assist in the detection of equivalent mutants

Software Testing Verification and Reliability

Volumn 9, Issue 4, 1999, Pages 233-262

  Hierons, Rob ^a   Harman, Mark ^a   Danicic, Sebastian ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b LONDON METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

MUTATION TESTING; PROGRAM SLICING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033332513     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3     Document Type: Article

References (52)

1. Agrawal, H. (1994) 'On slicing programs with jump statements', Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, Florida, U.S.A., June 1994. Also in ACM SlGPLAN Notices, 29(6), 302-312.
2. Agrawal, H. (1994) 'On slicing programs with jump statements', Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, Florida, U.S.A., June 1994. Also in ACM SlGPLAN Notices, 29(6), 302-312.
3. Agrawal, H., DeMillo, R. A. and Spafford, E. H. (1991) 'Dynamic slicing in the presence of unconstrained pointers', Proceedings of the ACM Symposium on Software Testing, Analysis and Verification (TAV4), Victoria, British Columbia, Canada, October 1991, ACM Press, New York, U.S.A., pp. 60-73. Appears as Purdue University Technical Report SERC-TR-93-P.
4. Aho, A. V., Sethi, R. and Ullman, J. D. (1986) Compilers: Principles, Techniques and Tools, Addison Wesley, Reading, Massachusetts, U.S.A.
5. Baldwin, D. and Sayward, F. (1979) 'Heuristics for determining equivalence of program mutations', Research Report 276, Department of Computer Science, Yale University, New Haven, Connecticut, U.S.A.
6. Ball, T. and Horwitz, S. (1993) 'Slicing programs with arbitrary control-flow', In P. Fritzson (Ed.), Proceedings of the 1st Workshop on Automated and Algorithmic Debugging (AADEBUG '93), Linköping, Sweden, Lecture Notes in Computer Science, Springer, Berlin, Germany, Vol. 749, pp. 206-222. Also available as University of Wisconsin-Madison, Technical Report (in extended form) TR-1128, December 1992.
7. Binkley, D. W. (1999) 'Computing amorphous program slices using dependence graphs and a data-flow model', Proceedings of the ACM Symposium on Applied Computing, San Antonio, Texas, U.S.A., ACM Press, New York, U.S.A., pp. 519-525.
8. Binkley, D. W. and Gallagher, K. B. (1996) 'Program slicing', In M. Zelkowitz, (Ed.), Advances in Computers, Volume 43, Academic Press, San Diego, pp. 1-50.
9. Budd, T. A. (1981) 'Mutation analysis: ideas, examples, problems and prospects', Proceedings of the Summer School on Computer Program Testing, Sogesta, Urbino, Italy, June 1981, North-Holland, pp. 129-148.
10. Canfora, G., Cimitile, A. and De Lucia, A. (1998) 'Conditioned program slicing', In M. Harman and K. Gallagher (Eds), Information and Software Technology, Special Issue on Program Slicing, 40(11-12), 595-607.
11. Cheng, J. (1993) 'Slicing concurrent programs - a graph-theoretical approach', In P. Fritzson (Ed.), Proceedings of the 1st Workshop on Automated and Algorithmic Debugging (AADEBUG '93), Lecture Notes in Computer Science, Springer, Berlin, Germany, Vol. 749, pp. 223-240.
12. Choi, J. and Ferrante, J. (1994) 'Static slicing in the presence of goto statements', ACM Transactions on Programming Languages and Systems, 16(4), 1097-1113.
13. Danicic, S., Harman, M. and Sivagurunathan, Y. (1995) 'A parallel algorithm for static program slicing', Information Processing Letters, 56(6), 307-313.
14. DeMillo, R. A., Lipton, R. J. and Sayward, F. G. (1978) 'Hints on test data selection: help for the practicing programmer', IEEE Computer, 11(4), 31-41.
15. Ernst, M. D. (1994) 'Practical fine-grained static slicing of optimised code', Technical Report MSR-TR-94-14, Microsoft Research, Redmond, Washington, U.S.A.
16. Frankl, P. G., Weiss, S. N. and Hu, C. (1997) 'All-uses vs mutation testing: an experimental comparison of effectiveness', Journal of Systems and Software, 38(3), 235-253.
17. Hamlet, R. G. (1977) 'Testing programs with the aid of a compiler', IEEE Transactions on Software Engineering, 3(4), 279-290.
18. Harman, M. and Danicic, S. (1995) 'Using program slicing to simplify testing', Software Testing, Verification and Reliability, 5(3), 143-162.
19. Harman, M. and Danicic, S. (1997) 'Amorphous program slicing', Proceedings of the 5th IEEE International Workshop on Program Comprehension (IWPC '97), Dearborn, Michigan, U.S.A., IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 70-79.
20. Harman, M. and Danicic, S. (1998) 'A new algorithm for slicing unstructured programs', Journal of Software Maintenance, 10(6), 415-441.
21. Harman, M., Fox, C., Hierons, R. M., Binkley, D. and Danicic, S. (1999) 'Program simplification as a means of approximating undecidable propositions', Proceedings of the 7th IEEE International Workshop on Program Comprehension (IWPC '99), Pittsburgh, Pennsylvania, U.S.A., IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 208-217.
22. Harman, M., Sivagurunathan, Y. and Danicic, S. (1998) 'Analysis of dynamic memory access using amorphous slicing', Proceedings of the IEEE International Conference on Software Maintenance (ICSM '98), Bethesda, Maryland, U.S.A., IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 336-345.
23. Horwitz, S., Reps, T. and Binkley, D. (1990) 'Interprocedural slicing using dependence graphs', ACM Transactions on Programming Languages and Systems, 12(1), 26-61.
24. Howden, W. E. (1982) 'Weak mutation testing and completeness of test sets', IEEE Transactions on Software Engineering, 8(4), 371-379.
25. Kernighan, B. W. and Ritchie, D. M. (1988) The C Programming Language, 2nd Edn, (ANSI C), Prentice Hall, Englewood Cliffs, New Jersey, U.S.A.
26. King, K. N. and Offutt, A. J. (1991). 'A FORTRAN language system for mutation-based software testing', Software-Practice and Experience, 21(7), 685-718.
27. Korel, B. (1995) 'Computation of dynamic slices for programs with arbitrary control flow', In M. Ducassé (Ed.), Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging (AADEBUG '95), Saint Malo, France, pp. 71-86.
28. Korel, B. and Rilling, J. (1998) 'Dynamic program slicing methods', In M. Harman and K. Gallagher (Eds), Information and Software Technology, Special Issue on Program Slicing, 40(11-12), 647-659.
29. Krinke, J. (1998) 'Static slicing of threaded programs', Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '98), Montreal, Canada. Also in ACM SIGPLAN Notices, 33(7), 35-42.
30. Krinke, J. (1998) 'Static slicing of threaded programs', Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '98), Montreal, Canada. Also in ACM SIGPLAN Notices, 33(7), 35-42.
31. Krinke, J. and Snelting, G. (1998) 'Validation of measurement software as an application of slicing and constraint solving', In M. Harman and K. Gallagher (Eds), Information and Software Technology, Special Issue on Program Slicing, 40(11-12), 661-675.
32. Larsen, L. D. and Harrold, M. J. (1996) 'Slicing object-oriented software', Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 495-505.
33. Livadas, P. E. and Rosenstein, A. (1994) 'Slicing in the presence of pointer variables', Technical Report SERC-TR-74-F, Computer Science and Information Services Department, University of Florida, Gainesville, Florida, U.S.A.
34. Lyle, J. R. and Binkley, D. (1993) 'Program slicing in the presence of pointers', Proceedings of the Conference on Foundations of Software Engineering, Orlando, Florida, U.S.A., pp. 255-260.
35. Offutt, A. J. (1992) 'Investigations of the software testing coupling effect', ACM Transactions on Software Engineering and Methodology, 1(1), 5-20.
36. Offutt, A. J. and Craft, W. M. (1994) 'Using compiler optimization techniques to detect equivalent mutants', Software Testing, Verification and Reliability, 4(3), 131-154.
37. Offutt, A. J., Jin, Z. and Pan, J. (1999) 'The dynamic domain reduction approach to test data generation', Software - Practice and Experience, 29(2), 167-193.
38. Offutt, A. J., Lee, A., Rothermel, G., Untch, R. H. and Zapf, C. (1996a) 'An experimental determination of sufficient mutant operators', ACM Transactions on Software Engineering and Methodology, 5(2), 99-118.
39. Offutt, A. J. and Pan, J. (1996) 'Detecting equivalent mutants and the feasible path problem', Proceedings of the Annual Conference on Computer Assurance (COMPASS 96), Gaithersburg, Maryland, U.S.A., IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 224-236.
40. Offutt, A. J. and Pan, J. (1997) 'Automatically detecting equivalent mutants and infeasible paths', Software Testing, Verification and Reliability, 7(3), 165-192.
41. Offutt, A. J., Pan, J., Tewary, K. and Zhang, T. (1996b) 'An experimental evaluation of data flow and mutation testing', Software-Practice and Experience, 26(2), 165-176.
42. Pan, J. (1994) 'Using constraints to detect equivalent mutants', Master's thesis, George Mason University, Fairfax, Virginia, U.S.A.
43. Tip, F. (1995) 'A survey of program slicing techniques', Journal of Programming Languages, 3(3), 121-189.
44. Tip, F., Choi, J.-D., Field, J. and Ramalingham, G. (1996) 'Slicing class hierarchies in C++', Proceedings of the 11th Conference on Object-oriented Programming, Systems, Languages and Applications (OOPSLA '96), San Jose, California, U.S.A., October 1996. Also in ACM SIGPLAN Notices, 31(10), 179-197.
45. Tip, F., Choi, J.-D., Field, J. and Ramalingham, G. (1996) 'Slicing class hierarchies in C++', Proceedings of the 11th Conference on Object-oriented Programming, Systems, Languages and Applications (OOPSLA '96), San Jose, California, U.S.A., October 1996. Also in ACM SIGPLAN Notices, 31(10), 179-197.
46. Venkatesh, G. A. (1991) 'The semantic approach to program slicing', Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, pp. 26-28. Also in ACM SIGPLAN Notices, 26(6), 107-119.
47. Venkatesh, G. A. (1991) 'The semantic approach to program slicing', Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, pp. 26-28. Also in ACM SIGPLAN Notices, 26(6), 107-119.
48. Voas, J. and McGraw, G. (1998) Software Fault Injection, Wiley, New York, U.S.A.
49. Weiser, M. (1979) 'Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method', PhD thesis, University of Michigan, Ann Arbor, Michigan, U.S.A.
50. Weiser, M. (1984) 'Program slicing', IEEE Transactions on Software Engineering, 10(4), 352-357.
51. Woodward, M. R. (1993) 'Mutation testing - its origin and evolution', Information and Software Technology, 35(3), 163-169.
52. Woodward, M. R. and Halewood, K. (1988) 'From weak to strong, dead or alive? An analysis of some mutation testing issues', Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 152-158.