Program slicing: Methods and applications

Proceedings - 1st IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2001, Pages 142-149

  De Lucia, A ^a  

^a UNIVERSITY OF SANNIO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

PARALLELIZATIONS; PROGRAM COMPREHENSION; PROGRAM SLICING; SLICING METHODS; SUB-COMPONENTS;

APPLICATION PROGRAMS;

EID: 84963819598     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2001.972675     Document Type: Conference Paper

References (89)

1. H. Agrawal and J.R. Horgan, "Dynamic program slicing", Proceedings of ACM SIGPLAN Conference on programming Language Design and Implementation, White Plains, New York, U.S.A., ACM Press, 1990, pp. 246-256.
2. H. Agrawal, "On slicing programs with jump statements", ACM Sigplan Notices, vol. 29,no. 6, 1994, pp.302-312.
3. th ACM Symposium on Testing, Analysis, and Verification, 1991, pp. 60-73.
4. H. Agrawal, R. A. DeMillo, and E. H. Spafford, "Debugging with dynamic slicing and backtracking", Software - Practice and Experience, vol. 23, no. 6, 1993, pp. 589-616.
5. st International Workshop on Automated and Algorithmic Debugging, Linköping, Sweden, Springer Verlag, New York, 1993, pp. 106-222.
6. th International Conference on Software Engineering, Baltimore, Maryland, USA, IEEE CS Press, 1993, pp. 509-518
7. J.M. Bieman and L.M. Ott, "Measuring functional cohesion", IEEE Transactions on Software Engineering, vol. 20, no. 8, 1994, pp. 644-657.
8. D. Binkley and K.B. Gallagher, "Program slicing", in Advances in Computers, vol. 43, Marvin Zelkowitz, Editor, Academic Press, San Diego, CA, 1996, pp. 1-52.
9. D. Binkley, "The application of program slicing to regression testing", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 583-594.
10. th International Workshop on Program Comprehension, Limerick, Ireland, 2000, IEEE CS Press, pp. 161-170.
11. D. Bjorner, A.P. Ershov, and N.D. Jones, Partial evaluation and mixed computation, North-Holland, 1987.
12. S. Blazy and P. Facon, "Partial evaluation for the understanding of FORTRAN programs", International Journal of Software Engineering and Knowledge Engineering, vol. 4, no. 4, 1994, pp. 535-559.
13. R.S. Boyer and J.S. Moore, A Computational Logic, Academic Press, New York, 1979.
14. G. Canfora, A. Cimitile, and A. De Lucia, "Conditioned program slicing", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 595-607.
15. G. Canfora, A. Cimitile, A. De Lucia, and G.A. Di Lucca, "Software salvaging based on conditions", Proceedings of International Conference on Software Maintenance, Victoria, British Columbia, Canada, IEEE CS Press, 1994, pp. 424-433.
16. G. Canfora, A. Cimitile, A. De Lucia, and G.A. Di Lucca, "Decomposing legacy programs: a First step towards migrating to client-server platforms", The Journal of Systems and Software, vol. 54, 2000, pp. 99-110.
17. G. Canfora, A. De Lucia, G.A. Di Lucca, and A. R. Fasolino, "Slicing large programs to isolate reusable functions", Proceedings of EUROMICRO Conference, Liverpool, U.K., 1994, IEEE CS Press, pp. 140-147.
18. J.L. Chen, F.J. Wang, and Y.L. Chen, "Slicing object-oriented programs", Proceedings of APSEC'97, Hong Kong, China, 1997, pp. 395-404.
19. st International Workshop on Automated and Algorithmic Debugging, Linköping, Sweden, Springer Verlag, New York, 1993, pp. 232-245.
20. J.D. Choi and J. Ferrante, "Static slicing in the presence of goto statements", ACM Transactions on Programming Languages and Systems, vol. 16, no. 4, 1994, pp. 1097-1113.
21. A. Cimitile, A. De Lucia, and M. Munro, "Identifying reusable functions using specification driven program slicing: a case study", Proceedings of International Conference on Software Maintenance, Opio (Nice), France, IEEE CS Press, 1995, pp. 124-133.
22. A. Cimitile, A. De Lucia, M. Munro, "A specification driven slicing process for identifying reusable functions", Journal of Software Maintenance: Research and Practice, vol. 8, n. 3, 1996, pp. 145-178.
23. A. Coen-Porisini, F. De Paoli, C. Ghezzi, and D. Mandrioli, "Software specialization via symbolic execution", IEEE Transactions on Software Engineering, vol. 17, no. 9, 1991, pp. 884-899.
24. P.D. Coward, "Symbolic execution systems - a review", Software Engineering Journal, vol. 3, no. 6, 1988, pp. 229-239.
25. S. Danicic, M. Harman, and Y. Sivagurunathan, "A parallel algorithm for static program slicing", Information Processing Letters, vol. 56, no. 6, 1995, pp. 307-313.
26. S. Danicic, C. Fox, M. Harman, R. Hierons, "ConSIT: a conditioned program slicer", Proceedings of International Conference on Software Maintenance, S.José, USA, 2000, IEEE CS Press, pp. 216-226.
27. th International Workshop on Program Comprehension, Toronto, Canada, IEEE CS Press, 2001, pp. 89-97.
28. th Workshop on Program Comprehension, Berlin, Germany, IEEE CS Press, 1996, pp. 9-18.
29. th International Workshop on Program Comprehension, Toronto, Ontario, Canada, IEEE CS Press, 2001, pp. 50-59.
30. th Workshop on Languages and Compilers for Parallel Computing, New Haves, Connecticut, USA, 1992, pp. 329-337.
31. nd ACM Symposioum on Principles of Programming Languages, San Francisco, California, U.S.A., 1995, pp. 379-392.
32. J. Field and F. Tip, "Dynamic dependence in term of rewriting systems and its application to program slicing", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 609-636.
33. K.B. Gallagher and J.R. Lyle, "Using program slicing in software maintenance", IEEE Transactions on Software Engineering, vol. 17, no. 8, 1991, pp. 751-761.
34. K.B. Gallagher and M. Harman (ed.), "Program slicing", special issue, Information and Software Technology, vol. 40, no. 11/12, 1998.
35. R.Gopal, "Dynamic program slicing based on dependence relations", Proceedings of Conference on Software Maintenance, Sorrento, Italy, IEEE CS Press, 1991, pp. 191-200.
36. R. Gupta, M.J. Harrold, and M.L. Soffa, "An approach to regression testing using slicing", Proceedings of the Conference on Software Maintenance, Orlando, FL, U.S.A., IEEE CS Press, 1992, pp. 299-308.
37. R.J. Hall, "Automatic extraction of executable program subsets by simultaneous program slicing", Journal of Automated Software Engineering, vol. 2, no. 1, 1995, pp. 33-53.
38. M. Harman and S. Danicic, "Using Program Slicing to Simplify Testing", Journal of Software Testing, Verification and Reliability, vol 5, no. 3, 1995, pp. 143-162.
39. th International Workshop on Program Comprehension, Dearborn, Michigan, U.S.A., IEEE CS Press, 1997, pp.∼70-79
40. M. Harman and S. Danicic, "A new algorithm for slicing unstructured programs", Journal of Software Maintenance: Research and Practice, vol. 10, no. 6, 1998, pp. 415-441.
41. st UK Program Comprehension Workshop, Durham, UK, 1995.
42. M.J. Harrold and M.L. Soffa, "Selecting data-flow integration testing", IEEE Software, vol 8, no. 2, 1991, pp. 58-65.
43. R. Hierons, M. Harman, and S. Danicic, "Using program slicing to assist in the detection of equivalent mutants", Journal of Software Testing, Verification and Reliability, vol. 9, no. 4, 1999, pp. 233-262.
44. S. Horwitz, J. Prins, and T. Reps, "Integrating non-interfering versions of programs", ACM Transactions on Programming Languages and Systems, vol. 11, no. 3, 1989, pp. 345-387.
45. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs", ACM Transactions on Programming Languages and Systems, vol. 12, no. 1, 1990, pp. 26-60.
46. J. Jiang, X. Zhou, and D.J. Robson, "Program slicing for C - the problems in implementation", Proceedings of Conference on Software Maintenance, Sorrento, Italy, IEEE CS Press, 1991, pp. 182-190.
47. M. Kamkar, P. Fritzson, and N. Shahmerhi, "Three approaches to interprocedural dynamic slicing", EUROMICRO Journal of Microprocessing and Microprogramming, vol. 38, 1993, pp. 625-636.
48. M. Kamkar, P. Fritzson, and N. Shahmerhi, "Interpocedural dynamic slicing applied to interprocedural data flow testing", Proceedings of Conference on Software Maintenance, Montreal, Quebec, Canada, IEEE CS Press, 1993, pp. 386-395.
49. M. Kamkar, "An overview and comparative classification of program slicing techniques", The Journal of Systems and Software, vol. 31, 1995, pp. 197-214.
50. M. Kamkar, "Application of program slicing in algorithm debugging", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 637-646.
51. B.K. Kang and J.M. Bieman, "Using design abstractions to visualize, quantify, and restructure software", Journal of Systems and Software, vol. 42, no. 2, 1998, pp. 175-187.
52. H.S. Kim and Y.R. Kwon, "Restructuring programs through program slicing", International Journal of Software Engineering and Knowledge Engineering, vol. 4, no. 3, 1994, pp. 349-368.
53. J.C. King, "Symbolic execution and program testing", Communications of the ACM, vol. 19, no. 7, 1976, pp. 385-394.
54. st International Workshop on Automated and Algorithmic Debugging, Linköping, Sweden, Springer Verlag, New York, 1993, pp. 341-356.
55. B. Korel, "Computation of dynamic slices for unstructured programs", IEEE Transactions on Software Engineering, vol. 23, no. 1, 1997, pp. 17-34.
56. B. Korel and R. Ferguson, "Dynamic slicing of distributed programs", Journal of Applied Mathematics and Computer Science, vol. 2, no. 2, 1992, pp. 199-215.
57. B. Korel and J. Laski, "Dynamic program slicing", Information Processing Letters, vol. 29, no. 3, 1988, pp. 155-163.
58. B. Korel and J. Laski, "Dynamic slicing of computer programs", The Journal of Systems and Software, vol. 13, no. 3, 1990, pp. 187-195.
59. th International Workshop on Program Comprehension, Dearborn, MI, USA, 1997, pp. 80-90.
60. B. Korel and J. Rilling, "CASE and dynamic program slicing in software maintenance", International Journal of Computer Science and Information Management, June 1998.
61. B. Korel and J. Rilling, "Dynamic program slicing methods", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 647-659.
62. J. Krinke, "Static slicing of threaded programs", Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools, Montreal, Quebec, Canada, 1998, pp. 35-42.
63. J. Krinke and G. Snelting, "Validation of measurement software as an application of slicing and constraint solving", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 661-676.
64. A. Lakhotia and J.C. Deprez, "Restructuring programs by tucking statements into functions", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 677-691.
65. F. Lanubile and G. Visaggio, "Extracting reusable functions by flow graph-based program slicing", IEEE Transactions on Software Engineering, vol. 23, no. 4, 1997, pp. 246-259
66. th International Conference on Software Engineering, Berlin, Germany, 1996, pp. 495-505.
67. D. Liang and M.J. Harrold, "Reuse-driven interprocedural slicing in the presence of pointers and recursion", Proceedings of International Conference on Software Maintenance, Oxford, UK, 1999, pp. 421-432.
68. P.E. Livadas and A. Rosenstein, "Slicing in the presence of pointer variables", Technical Report SERC-TR-74-F, Computer Science and Information Services Department, University of Florida, Gainesville, FL, June 1994.
69. J.R. Lyle and D. Binkley, "Program slicing in the presence of pointers", Proceedings of Foundations of Software Engineering, 1993.
70. nd International Conference on Computers and Applications, Peking, China, 1987, pp. 877-882.
71. st Working Conference on Reverse Engineering, Baltimore, Maryland, U.S.A., IEEE CS Press, 1993, pp. 64-72.
72. A. Orso, S. Sinha, and M.J. Harrold, "Effects of pointers on data dependences and program slicing", Technical Reports GIT-CC-00-33, Georgia Institute of Technology, November 2000.
73. th Annual Software Reliability Symposium, 1992, pp. 16-23.
74. L.M. Ott and J.M. Bieman, "Program slices as an abstraction for cohesion measurement", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 691-700.
75. L. Ott and J. Thuss, "The relationship between slices and module cohesion", Proceedings of the 11th International Conference on Software Engineering, IEEE CS Press, 1989, pp. 198-204.
76. K.J. Ottenstain and L.M. Ottenstain, "The program dependence graph in a software development environment", ACM SIGPLAN Notices, vol. 19, no. 5, 1984, pp. 177-184.
77. T. Reps, "Program analysis via graph reachability", Information and Software Technology, vol. 40, no. 11/12, 1998, pp. 701-726.
78. F. Ricca and P. Tonella, "Web Application Slicing", Proceedings of International Conference on Software Maintenance, Florence, Italy, November 2001, IEEE CS Press (to appear).
79. T. Richner and S. Ducasse, "Recovering high level views of object-oriented applications from static and dynamic information", Proceedings of International Conference on Software Maintenance, Oxford, UK, IEEE CS Press, 1999, pp. 13-22.
80. st International Conference on Software Engineering, Los Angeles, CA, USA, 1999, pp. 432-441.
81. F. Tip, "A survey of program slicing techniques", Journal of Programming Language, vol. 3, 1995, pp. 121-189.
82. th Conference on Object-Oriented Programming, Systems and Applications, San José, 1996, pp. 179-197.
83. G.A. Venkatesh, "The semantic approach to program slicing", ACM SIGPLAN Notices, vol. 26, no. 6, 1991, pp. 107-119.
84. M. Weiser, "Program slices: formal, psychological, and practical investigations of an automatic program abstraction method", PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
85. M. Weiser, "Programmers use slices when debugging", Communications of the ACM, vol. 25, 1982, pp. 446-452.
86. M. Weiser, "Program Slicing", IEEE Transactions on Software Engineering, vol. SE-10, no. 4, 1984, pp. 352-357.
87. N. Wilde, J.A. Gomez, T. Gust, and D. Strasburg, "Locating user functionality in old code", Proceedings of Conference on Software Maintenance, Orlando, FL, USA, IEEE CS Press, 1992, pp. 200-205.
88. N. Wilde and M.C. Scully, "Software reconnaissance: mapping program features to code", Journal of Software Maintenance: Research and Practice, vol. 7, no. 1, 1995, pp. 49-62.
89. th International Conference on Computer Software and Applications, Seoul, Korea, IEEE CS Press, 1996, pp. 312-320.