An overview of slicing techniques for object-oriented programs

Informatica (Ljubljana)

Volumn 30, Issue 2, 2006, Pages 253-277

  Mohapatra, Durga Prasad ^a   Mall, Rajib ^a   Kumar, Rajeev ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Concurrent object oriented program; Debugging; Distributed programming; Multi threading; Object oriented programs; Program dependence graph; Program slicing

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER SCIENCE; CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION TECHNOLOGY;

CONCURRENT OBJECT ORIENTED PROGRAM; DEBUGGING; DISTRIBUTED PROGRAMMING; MULTI THREADING; OBJECT ORIENTED PROGRAMS; PROGRAM DEPENDENCE GRAPH; PROGRAM SLICING;

OBJECT ORIENTED PROGRAMMING;

EID: 33746872916     PISSN: 03505596     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (105)

1. Antlr. http://www.antlr.org/.
2. H. Agrawal, R. A. DeMillo, and E. H. Spafford. Dynamic slicing in the presence of unconstrained pointers. In Proceedings of the ACM Fourth Symposium on Testing, Analysis and Verification (TAV4), pages 60-73, 1991.
3. H. Agrawal, R. A. DeMillo, and E. H. Spafford. Debugging with dynamic slicing and backtracking. Software Practice and Experience, 23(6):589-616, 1993.
4. H. Agrawal and J. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN'90 Conference on Programmimg Lanuages Design and Implementation, SIGPLAN Notices, Analysis and Verification, volume 25, pages 246-256, White Plains, NewYork, 1990.
5. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
6. G. R. Andrews. Concurrent Programming: Principles and Practice. Addison-Wesley, 1991.
7. G. R. Andrews and F. B. Schneider. Concepts and notations for concurrent programming. ACM Computing Surveys, 15:3-43, 1983.
8. M. Awad and J. Ziegler. A practical approach to the design of concurrency in object-oriented systems. Software Practice and Experience, 27:1013-1034, 1997.
9. M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice Hall, 1990.
10. D. Binkley. The application of program slicing to regression testing. Information and Software Technology, Special Issue on Program Slicing, 40(11-12):583-594, 1998.
11. D. Binkley. Computing amorphous program slices using dependence graphs and a data flow model. In Proceedings of the ACM Symposium on Applied Computing, ACM Press, 1999.
12. D. Binkley and K. B. Gallagher. Program Slicing, Advances in Computers, volume 43. Academic Press, San Diego, CA, 1996.
13. G. Canfora, A. Cimitile, and A. D. Lucia. Conditioned program slicing. Information and Software Technology, 40:595-607, 1998.
14. J. Chen, F. Wang, and Y. Chen. An object-oriented dependency graph. Technology of Object-Oriented Languages and Systems Tools, Beijing, China, 1997.
15. J. Chen, F. Wang, and Y. Chen. Slicing object-oriented programs. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC-97/ICSC-97), Hong Kong, 1997.
16. J. T. Chen, F. J. Wang, and Y. L. Chen. Slicing object-oriented programs. In Proceedings of the APSEC'97, pages 395-404, Hongkong, China, December 1997.
17. Z. Chen and B. Xu. Slicing concurrent Java programs. ACM SIGPLAN Notices, 36:41-47, 2001.
18. Z. Chen and B. Xu. Slicing object-oriented Java programs. ACM SIGPLAN Notices, 36:33-40, 2001.
19. Z. Chen, B. Xu, and H. Yang. Test coverage analysis based on program slicing. In Proceedings of IRI, pages 559-565, 2003.
20. Z. Chen, B. Xu, and J. Zhao. An overview of methods for dependence analysis of concurrent programs. ACM SIGPLAN Notices, 37(8):45-52, 2002.
21. Z. Chen, Y. Zhou, B. Xu, J. Zhao, and H. Yang. A novel approach for measuring class cohesion based on dependence analysis. In Proceedings of International Conference on Software Maintenance, IEEE Press, pages 377-384, 2002.
22. J. Cheng. Slicing concurrent programs - a graph theoretical approach. In Automated and Algorithmic Debugging, AADEBUG'93, LNCS, Springer-Verlag, pages 223-240, 1993.
23. J. Cheng. Dependence analysis of parallel and distributed programs and its applications. In International Conference on Advances in Parallel and Distributed Computing, pages 370-377, 1997.
24. J. D. Choi, B. Miller, and R. Netzer. Techniques for debugging parallel programs with flowback analysis. ACM Transactions on Programming Languages and Systems, 13:491-530, 1991.
25. S. Danicic, M. Daoudi, C. Fox, M. Harman, R. M. Hierons, J. R. Howroyd, L. Ourabya, and M. Ward. ConSUS: a light-weight program conditioner. Journal of Systems and Software, 2005.
26. S. Danicic, Mark Harman, and Yoga Sivagurunathan. A parallel algorithm for static program slicing. Information Processing Letters, 56:307-313, 1995.
27. D. M. Dhamdhere, K. Gururaja, and P. G. Ganu. A compact execution history for dynamic slicing. Information Processing Letters, 85:145-152, 2003.
28. E. Duesterwald, R. Gupta, and M. L. Soffa. Distributed slicing and partial re-execution for distributed programs. In Fifth Workshop on Languages and Compilers for Parallel Computing, New Haven Connecticut, LNCS Springer-Verlag, pages 329-337, August 1992.
29. J. Field, G. Ramalingam, and F. Tip. Parametric program slicing. In Conference Record of the Twenty-Second ACM Symposium on Principles of Programming Languages, pages 379-392, San Francisco, CA, USA, 1995.
30. I. Forgacs and A. Bertolino. Feasible test path selection by principal slicing. In Proceedings of 6th Euoropean Software Engineering Conference, September 1997.
31. C. Fox, S. Danicic, M. Harman, and R. M. Hierons. Consit: a fully automated conditioned program slicer. Software Practice and Experince, 34:15-46, 2004.
32. K. Gallagher and J. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, SE-17(8):751-761, 1991.
33. V. K. Garg and N. Mittal. On slicing a distributed computation. In Proceedings of 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 322-329, 2001.
34. A. Goel, A. RoyChoudhury, and T. Mitra. Compactly representing parallel program executions. In Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 191-202, 2003.
35. D. Goswami and R. Mall. Fast slicing of concurrent programs. In Sixth International Conference on High Performance Computing (HiPC), LNCS Springer-Verlag, pages 38-42, December 1999.
36. D. Goswami and R. Mall. Dynamic slicing of concurrent programs. In Seventh International Conference on High Performance Computing (HiPC), LNCS Springer-Verlag, pages 17-26, December 2000.
37. D. Goswami and R. Mall. An efficient method for computing dynamic program slices. Information Processing Letters, 81:111-117, 2002.
38. D. Goswami, R. Mall, and P. Chatterjee. Static slicing in unix process environment. Software Pracice and Experience, 30:17-36, 2000.
39. R. Gupta, M. J. Harrold, and M. L. Soffa. Program slicing-based regression testing techniques. Journal of Software Testing, Verification and Reliability, 6, 1996.
40. R. Gupta and M. L. Soffa. Hybrid slicing: An approach for refining static slices using dynamic information. In Proceedings of ACM SIGSOFT, pages 29-40, 1995.
41. C. Hammer and G. Snelting. An improved slicer for Java. In Proceedings of PASTE, pages 107-112, 2004.
42. M. Harman. Conditioned slicing supports partition testing. Journal of Software Testing, Verification and Reliability, 12:23-28, 2002.
43. M. Harman, D. Binkley, and S. Danicic. Amorphous program slicing. Journal of Systems and Software, 68:45-64, 2003.
44. M. Harman and S. Danicic. Using program slicing to simplify testing. Journal of Software Testing, Verification and Reliability, 5, 1995.
45. M. Harman and R. M. Hierons. An overview of program slicing. Software Focus, 2:85-92, 2001.
46. M. Harman, L. Hu, M. Mumro, X. Zhang, D. Binkley, and S. Danicic. Syntax-directed amorphous slicing. Automated Software Engineering, 11:27-61, 2004.
47. M. J. Harrold and G. Rothermel. Performing data flow testing on classes. In Second ACM SIGSOFT Symposium on the Foundation of Software Engineering, pages 154-163, December 1994.
48. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-61, 1990.
49. M. Kamkar. Inter Procedural Dynamic Slicing with Applications to Debugging and Testing. PhD thesis, Linkoping University, Sweden, 1993.
50. M. Kamkar and P. Krajina. Dynamic slicing of distributed programs. In International Conference on Software Maintenance, IEEE CS Press, pages 222-229, October 1995.
51. B. Korel and R. Ferguson. Dynamic slicing of distributed programs. Applied Mathematics and Computer Science, 2:199-215, 1992.
52. B. Korel and J. Laski. Dynamic program slicing. Information Processing Letters, 29(3): 155-163, 1988.
53. B. Korel and J. Rilling. Dynamic program slicing methods. Information and Software Technology, 40:647-659, 1998.
54. J. Krinke. Static slicing of threaded programs. ACM SIGPLAN Notices, 33:35-42, April 1998.
55. J. Krinke. Context-sensitive slicing of concurrent programs. In Proceedings of ACM SIGSOFT Software Engineering Notes, pages 178-187, 2003.
56. A. Krishnaswamy. Program slicing: An application of program dependency graphs. Technical report, Department of Computer Science, Clemson University, August 1994.
57. D. Kung, J. Gao, P. Hisa, and Y. Toyoshima. Change impact identification in object-oriented software maintenance. In Proceedings of International Conference on Software Maintenance, pages 202-211, September 1994.
58. D. Kung, J. Gao, P. Hisa, and Y. Toyoshima. Firewall regression testing and software maintenance of object-oriented systems. Journal of Object-Oriented Programming, 1994.
59. D. Kung, J. Gao, P. Hisa, Y. Toyoshima, and C. Chen. Design recovery for software testing of object-oriented programs. In Working Conference on Reverse Engineering, pages 202-211, May 1993.
60. L. D. Larson and M. J. Harrold. Slicing object-oriented software. In Proceedings of the 18th International Conference on Software Engineering, German, March 1996.
61. Hon. F. Li, Juergen Rilling, and Dhrubajyoti Goswami. Granularity-driven dynamic predicate slicing algorithms for message passing systems. Automated Software Engineering, 11:63-89, 2004.
62. D. Liang and L. Larson. Slicing objects using system dependence graphs. In Proceedings of International Conference on Software Maintenance, pages 358-367, November 1998.
63. A. D. Lucia. Program slicing: Methods and applications. In Proceedings of IEEE International Workshop on Source Code Analysis and Manipulation, pages 142-149, 2001.
64. J. R. Lyle and M. D. Weiser. Automatic program bug location by program slicing. In Proceedings of the second International Conference on Computers and Applications, Peking, China, pages 877-882, 1987.
65. R. Mall. Fundamentals of Software Engineering. Prentice Hall, India, 2nd Edition, 2003.
66. B. A. Malloy, J. D. McGregor, and A. Krishnaswamy. An extensible program representation for object oriented software. In Proceedings of ISFST, pages 105-112, 2004.
67. A. J. S. Mills. Antlr. The University of Birmingham, 2002.
68. N. Mittal and V. K. Garg. Computation slicing: Techniques and theory. Technical Report, TR-PDS-2001-02, The Parallel and Distributed Systems Laboratory, Department of Electrical and Computer Engineering, The University of Texas at Austin, 2001.
69. N. Mittal and V. K. Garg. Computation slicing: Techniques and theory. In Proceedings of Symposium on Distributed Computing, 2001.
70. Durga Prasad Mohapatra. Dynamic slicing of object-oriented programs. PhD thesis, Indian Institute of Technology, Kharagpur, India, 2005.
71. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. Dynamic slicing of concurrent object-oriented programs. In Proceedings of International Conference on Information Technology: Progresses and Challenges (ITPC), pages 283-290, Kathamandu, May 2003.
72. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. An edge marking dynamic slicing technique for object-oriented programs. In Proceedings of 28th IEEE Annual International Computer Software and Applications Conference, IEEE CS Press, pages 60-65, September 2004.
73. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. An efficient techinque for dynamic slicing of concurrent Java programs. In Proceedings of Acian Applied Conference on Computing (AACC-2004), Kathmandu, LNCS Springer-Verlag, volume 3285, pages 255-262, October 2004.
74. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. A node marking dynamic slicing technique for object-oriented programs. In Proceedings of Workshop on Software Development and Architecture (SoDA), pages 1-15, Bangalore, January 2004.
75. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. A novel approach for dynamic slicing of distributed object-oriented programs. In Proceedings of International Conference on Distributed Computing and Internet Technology (ICDCIT), Bhubaneswar, LNCS Springer-Verlag, volume 3347, pages 304-309, December 2004.
76. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. A novel method for computing dynamic slices of concurrent C++ programs. In Proceedings of International Conference on Advanced Computing and Communications, pages 744-750, Ahmedabad, December 2004.
77. Durga Prasad Mohapatra, Rajib Mall, and Rajeev Kumar. Computing dynamic slices of concurrent object-oriented programs. Information and Software Technology, 2005.
78. G. B. Mund, R. Mall, and S. Sarkar. An efficient dynamic program slicing technique. Information and Software Technology, 44:123-132, 2002.
79. G. B. Mund, R. Mall, and S. Sarkar. Computation of intraprocedural dynamic program slices. Information and Software Technology, 45:499-512, April 2003.
80. M. G. Nanda and S. Ramesh. Slicing concurrent programs. In ACM International Symposium on Software Testing and Analysis, August 2000.
81. F. Ohata, K. Hirose, M. Fuji, and K. Inoue. A slicing method for object-oriented programs using dynamic light weight information. In Eighth Asia-Pacific Software Engineering Conference (APSEC-01), China, 2001.
82. X. Qi and B. Xu. Dependence analysis of concurrent programs based on rechability graph and it's applications. In Proceedings of International Conference on Computational Science, pages 405-408, 2004.
83. M. Singhal and N. G. Sivaratri. Advanced Concepts in Operating Systems - Distributed, Database, and Multiprocessor Operating Systems. TATA McGRAW HILL, 2002.
84. Y. Song and D. Huynh. Forward Dynamic Object-Oriented Program Slicing, Application Specific Systems and Software Engineering and Technology (ASSET'99). IEEE CS Press, 1999.
85. C. Steindl. Program slicing for object-oriented programming languages. PhD thesis, Johannes Kepler University Linz, 1999.
86. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, 1995.
87. F. Tip, J. D. Choi, J. Field, and G. Ramalingam. Slicing class hierarchies in C++. In Conference on Object-Oriented Programming Systems, Languages and Applications, pages 179-197, 1996.
88. P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Flow insensitive C++ pointers and polymorphism analysis and its application to slicing. In Proceedings of 19th International Conference on Software Engineering, pages 433-443, May 1997.
89. M. Jeffrey Voas and Gary McGraw. Software faultinjection: inoculating programs against errors. Wiley and Sons, 1998.
90. T. Wang and A. RoyChoudhury. Using compressed bytecode traces for slicing Java programs. In Proceedings of IEEE International Confrence on Software Engineering, pages 512-521, 2004.
91. M. Weiser. Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
92. M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, 1982.
93. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.
94. B. Xu and Z. Chen. Dynamic slicing object-oriented programs for debugging. In SCAM, pages 115-122, 2002.
95. B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen. A brief survey of program slicing. ACM SIGSOFT Software Engineering Notes, 30(2): 1-36, 2005.
96. L. Xu, B. Xu, Z. Chen, J. Jiang, H. Chen, and H. Yang. Regression testing for web applications based on slicing. In Proceedings of 28th IEEE Annual International Computer Software and Applications Conference, IEEE CS Press, pages 652-656, 2003.
97. J. Zeng, C. Soviani, and S. A. Edwards. Generating fast code from concurrent program dependence graph. In Proceedings of ACM LCTES, pages 175-181, 2004.
98. X. Zhang, R. Gupta, and Y. Zhang. Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams. In International Conference on Software Engineering, 2004.
99. Y. Zhang, B. Xu, L. Shi, B. Li, and H. Yang. Modular monadic program slicing. In Proceedings of 28th IEEE Annual International Computer Software and Applications Conference, IEEE CS Press, pages 66-71, September 2004.
100. J. Zhao. Dynamic slicing of object-oriented programs. Technical report, Information Processing Society of Japan, May 1998.
101. J. Zhao. Multithreaded dependence graphs for cuncurrent Java programs. In Proceedings of the 1999 International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), 1999.
102. J. Zhao. Slicing concurrent Java programs. In Proceedings of the 7th IEEE International Workshop on ProgramComprehension, May 1999.
103. J. Zhao, J. Cheng, and K. Ushijima. Static slicing of concurrent object-oriented programs. In 20th IEEE Annual International Computer Software and Applications Conference, pages 312-320, August 1996.
104. J. Zhao, J. Cheng, and K. Ushijima. A dependence-based representation for concurrent object-oriented software maintenance. In Proceedings of 2nd Euromicro Conference on Software Maintenance and Reengineering, pages 60-66, March 1998.
105. J. Zhao and B. Li. Dependence based representation for concurrent Java programs and it's application to slicing. In Proceedings of ISFST, pages 105-112, 2004.