Computation of intraprocedural dynamic program slices

Information and Software Technology

Volumn 45, Issue 8, 2003, Pages 499-512

  Mund, G B ^a   Mall, R ^a   Sarkar, S ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Control flow graph; Dynamic slicing; Program debugging; Program dependence graph; Program slicing; Static slicing; Unstructured program dependence graph

Indexed keywords

ALGORITHMS; DYNAMIC PROGRAMMING; GRAPH THEORY;

PROGRAM SLICING;

PROGRAM DEBUGGING;

EID: 0038823589     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00029-6     Document Type: Article

References (49)

1. Weiser M. Programmers use slices when debugging. Communications of the ACM. 25:(7):1982;446-452.
2. Weiser M. Program slicing. IEEE Transactions on Software Engineering. 10:(4):1984;352-357.
3. Korel B., Laski J. Dynamic program slicing. Information Processing Letters. 29:(3):1988;155-163.
4. J. Lyle, Evaluating Variations on Program Slicing for Debugging. PhD Thesis, University of Maryland, College Park, December 1984.
5. J.-D. Choi, Parallel Program Debugging with Flowback Analysis. PhD Thesis, University of Wisconsin-Madison, August 1989.
6. Podgurski A., Clarke L.A. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering. 16:(9):1990;965-979.
7. N. Shahmehri, Generalized Algorithmic Debugging. PhD Thesis, Linkoping University, Sweden, 1991.
8. Gallagher K., Lyle J. Using program slicing in software maintenance. IEEE Transactions on Software Engineering. SE-17:(8):1991;751-761.
9. H. Agrawal, Towards Automatic Debugging of Computer Programs, PhD Thesis, Purdue University, 1992.
10. Shimomura T. The program slicing technique and its application to testing, debugging, and maintenance. Journal of IPS of Japan. 9:(9):1992;1078-1086.
11. Agrawal H., DeMillo R.A., Spafford E.H. Debugging with dynamic slicing and backtracking. Software - Practice and Experience. 23:(6):1993;589-616.
12. M. Kamkar, Interprocedural Dynamic Slicing with Applications to Debugging and Testing, PhD Thesis, Linkoping University, Sweden, 1993.
13. Harman M., Gallagher K.B. Program slicing. Information and Software Technology. 40:1998;577-581.
14. Binkley D. The application of program slicing to regression testing. Information and Software Technology. 40:1998;583-594.
15. Kamkar M. Application of program slicing in algorithmic debugging. Information and Software Technology. 40:1998;637-645.
16. Ott L.M., Bieman J.M. Program slices as an abstraction for cohesion measurement. Information and Software Technology. 40:1998;691-699.
17. Reps T. Program analysis via graph reachability. Information and Software Technology. 40:1998;701-726.
18. Mall R. Fundamentals of Software Engineering. 1999;Prentice Hall of India.
19. Lucia A.D., Fasolino A.R., Munro M. Understanding function behaviors through program slicing, Proceedings of the Fourth IEEE Workshop on Program Comprehension, Berlin, Germany, March. 1996;IEEE Computer Society Press, Los Alamitos, CA, USA.
20. Tip F. A survey of program slicing techniques. Journal of Programming Languages. 3:(3):1995;121-189.
21. Binkley D., Gallagher K.B. Program slicing. Zelkowitz M. Advances in Computers. vol. 43:1996;1-50 Academic Press, San Diego, CA.
22. Korel B., Rilling J. Dynamic program slicing methods. Information and Software Technology. 40:1998;647-659.
23. Lucia A.D. Program slicing: methods and applications. IEEE Proceedings of Workshop on Source Code Analysis and Manipulation, Florence. 2001;142-149.
24. Harman M., Hierons R.M. An overview of program slicing. Software Focus. 2:(3):2001;85-92.
25. Ottenstein K., Ottenstein L. The program dependence graph in software development environment. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SIGPLAN Notices. 19:(5):1984;177-184.
26. Ferrante J., Ottenstein K., Warren J. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems. 9:(3):1987;319-349.
27. Horwitz S., Reps T., Binkley D. Inter-procedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems. 12:(1):1990;26-61.
28. Hwang J., Du M., Chou C. Finding program slices for recursive procedures. Proceedings of the 12th Annual International Computer Software and Applications Conference, COMPSAC 88, Chicago. 1988;220-227.
29. Bergeretti J.-F., Carreé B. Information-flow and data-flow analysis of while-programs. ACM Transactions on Programming Languages and Systems. 7:(1):1985;37-61.
30. Korel B., Laski J. Dynamic slicing of computer programs. Journal of Systems and Software. 13:1990;187-195.
31. Agrawal H., Horgan J. Dynamic program slicing. Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, SIGPLAN Notices, Analysis and Verification, White Plains, New York. 25:(6):1990;246-256.
32. Gopal R. Dynamic program slicing based on dependence relations. Proceedings of the IEEE Conference on Software Maintenance. 1991;191-200.
33. Agrawal H., Demillo R.A., Spafford E.H. Dynamic slicing in the presence of unconstrained pointers. Proceedings of the ACM Fourth Symposium on Testing, Analysis, and Verification (TAV4). 1991;60-73.
34. Korel B., Ferguson R. Dynamic slicing of distributed programs. Applied Mathematics and Computer Science. 2:(2):1992;199-215.
35. Kamkar M., Shahmehri N., Fritzson P. Interprocedural dynamic slicing. Bruynooghe M., Wirsing M. Proceeding of the Fourth International Conference on Programming Language Implementation and Logic Programming, LNCS. 631:1992;370-384 Springer, Berlin.
36. Kamkar M., Shahmehri N., Fritzson P. Three approaches to interprocedural dynamic slicing. Microprocessing and Microprogramming. 38:1993;625-636.
37. Kamkar M., Fritzson P., Shahmehri N. Interprocedural dynamic slicing applied to interprocedural data-flow testing. Proceedings of the Conference on Software Maintenance, Montreal, Canada. 1993;386-395.
38. Korel B., Yalamanchili S. Forward computation of dynamic program slices. Proceedings of International Symposium on Software Testing and Analysis (ISSTA), Seattle, Washington. 1994;66-79.
39. Korel B. Computation of dynamic program slices for unstructured programs. IEEE Transactions on Software Engineering. 23:(1):1997;17-34.
40. Goswami D., Mall R. An efficient method for computing program slices. Information Processing Letters. 81:(2):2002;111-117.
41. Mund G.B., Mall R., Sarkar S. An efficient dynamic program slicing technique. Information and Software Technology. 44:(2):2002;123-132.
42. Jiang J., Zhou X., Robson D. Program slicing for C - the problems in implementation. Proceedings of the Conference on Software Maintenance. 1991;182-190.
43. Agrawal H. On slicing programs with jump statements. Proceedings of the ACM SIGPLAN 1994 Conference on Programming Languages and Implementation, Orlando, Florida, SIGPLAN Notices. 29:(6):1994;302-312.
44. Ball T., Horwitz S. Slicing programs with arbitrary control flow. Fritzson P. Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Linkoping, Sweden, May, Lecture Notes in Computer Science. 749:1993;206-222 Springer, Berlin.
45. Choi J.D., Ferrante J. Static slicing in the presence of goto statements. ACM Transactions on Programming Languages and Systems. 16:(4):1994;1097-1113.
46. Huynh D., Song Y. Forward computation of dynamic slicing in the presence of structured jump statements. Proceedings of ISACC97, Monterrey, Mexico. 1997;73-81.
47. Harman M., Danicic S. A new algorithm for slicing unstructured programs. Journal of Software Maintenance: Research and Practice. 10:(6):1998;415-441.
48. Beszédes A., Gergely T., Szabó Z.M., Csirik J., Gyimóthy T. Dynamic slicing method for maintenance of large C programs. Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal. 2001;105-113.
49. Kumar S., Horwitz S. Better slicing of programs with jump and switches. Proceedings of FASE, Grenoble, France. April:2002.