Program slicing

Information and Software Technology

Volumn 40, Issue 11-12, 1998, Pages 577-581

  Harman, Mark ^a   Gallagher, Keith Brian ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE REUSABILITY; PROGRAM DEBUGGING;

PROGRAM SLICING;

SOFTWARE ENGINEERING;

EID: 0032302618     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(98)00084-6     Document Type: Article

References (52)

1. H. Agrawal, On slicing programs with jump statements, SIGPLAN Notices 29(6) (1994) 302-312.
2. H. Agrawal, R.A. DeMillo, E.H. Spafford, Dynamic slicing in the presence of unconstrained pointers, in: 4th ACM Symposium on Testing, Analysis, and Verification (TAV4), 1991, pp. 60-73 (Appears as Purdue University Technical Report SERC-TR-93-P).
3. H. Agrawal, J.R. Horgan, Dynamic program slicing, in: ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, 1990, pp. 246-256.
4. T. Ball, S. Horwitz, Slicing programs with arbitrary control-flow, in: P. Fritzson (Ed.), 1st Conference on Automated Algorithmic Debugging, Springer, New York, 1993, pp. 206-222 (Also available as University of Wisconsin-Madison, Technical report (in extended form) TR-1128, 1992.)
5. J. Beck, D. Eichmann, Program and interface slicing for reverse engineering, in: IEEE/ACM 15th Conference on Software Engineering (ICSE'93), 1993, pp. 509-518.
6. J.M. Bieman, L.M. Ott, Measuring functional cohesion, IEEE Transactions on Software Engineering 20(8) (1994) 644-657.
7. D.W. Binkley, K.B. Gallagher, Program slicing, in: M. Zelkowitz (Ed.), Advances of Computing, Vol. 43, Academic Press, New York, 1996.
8. G. Canfora, A. Cimitile, A. De Lucia, G.A. Di Lucca, Software salvaging based on conditions, in: International Conference on Software Maintenance (ICSM'96), Victoria, Canada, 1994, IEEE, pp. 424-433.
9. J. Cheng, Slicing concurrent programs - a graph-theoretical approach, in: P. Fritzson (Ed.), Automatic Algorithmic Debugging Conference (AADEBUG'93), Lecture Notes in Computer Science, Vol. 749, Springer, New York, 1993, pp. 223-240.
10. J.-D. Choi, J. Ferrante, Static slicing in the presence of goto statements, ACM Transactions on Programming Languages and Systems 16(4) (1994) 1097-1113.
11. A. Cimitile, A. De Lucia, M. Munro, Identifying reusable functions using specification driven program slicing: a case study, in: Proceedings of the IEEE International Conference on Software Maintenance (ICSM'95), Nice, France, 1995, pp. 124-133.
12. A. Cimitile, A. De Lucia, M. Munro, Qualifying reusable functions using symbolic execution, in: Proceedings of the 2nd Working Conference on Reverse Engineering, Toronto, Canada, 1995, IEEE Press, pp. 178-187.
13. A. Cimitile, A. De Lucia, M. Munro, A specification driven slicing process for identifying reusable functions, Software Maintenance: Research and Practice 8 (1996) 145-178.
14. L.L. Constantine, E. Yourdon, Structured Design, Prentice-Hall, New York, 1979.
15. A. De Lucia, A.R. Fasolino, M. Munro, Understanding function behaviours through program slicing, in: 4th IEEE Workshop on Program Comprehension, Berlin, Germany, 1996.
16. M.D. Ernst, Practical fine-grained static slicing of optimised code, Technical report MSR-TR-94-14, Microsoft Research, Redmond, WA, 1994.
17. J. Field, G. Ramalingam, F. Tip, Parametric program slicing, in: 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA, 1995, pp. 379-392.
18. K.B. Gallagher, J.R. Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering 17(8) (1991) 751-761.
19. K.B. Gallagher, Using program slicing in software maintenance, PhD thesis, University of Maryland, College Park, MD, 1990.
20. R. Gupta, M.J. Harrold, M.L. Soffa, An approach to regression testing using slicing, in: Proceedings of the IEEE Conference on Software Maintenance, Orlando, FL, 1992, IEEE Computer Society Press, pp. 299-308.
21. M. Harman, S. Danicic, Using program slicing to simplify testing, Journal of Software Testing, Verification and Reliability 5 (1995) 143-162.
22. M. Harman, S. Danicic, Amorphous program slicing, in: 5th IEEE International Workshop on Program Comprehension (IWPC'97), Dearborn, MI, 1997, pp. 70-79.
23. S. Horwitz, T. Reps et al., Wisconsin program slicing project, URL http://www.cs.wisc.edu/wpis.html/.
24. S. Horwitz, T. Reps, D. Binkley, Interprocedural slicing using dependence graphs, SIGPLAN Notices 23(7) (1988) 35-46.
25. S. Horwitz, T. Reps, D. Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems 12 (1990) 26-61.
26. D. Jackson, E.J. Rollins, Chopping: a generalisation of slicing, Technical report CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1994.
27. M. Kamkar, Interprocedural dynamic slicing with applications to debugging and testing, PhD Thesis, Department of Computer Science and Information Science, Linkpöing University, Sweden, 1993 (Available as Linköping Studies in Science and Technology, Dissertations, No. 297.)
28. B. Korel, Computation of dynamic slices for programs with arbitrary control flow, in: M. Ducassé (Ed.), 2nd International Workshop on Automated Algorithmic Debugging (AADEBUG'95), Saint-Malo, France, 1995.
29. B. Korel, J. Laski, Dynamic program slicing, Information Processing Letters 29(3) (1988) 155-163.
30. J. Krinke, Static slicing of threaded programs, in: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools nd Engineering (PASTE'98), Montreal, Canada, 1998, pp. 35-42.
31. A. Lakhotia, Rule-based approach to computing module cohesion, in: Proceedings of the 15th Conference on Software Engineering (ICSE-15), 1993, pp. 34-44.
32. L.D. Larsen, M.J. Harrold, Slicing object-oriented software, in: Proceedings of the 18th International Conference on Software Engineering, Berlin, 1996, pp. 495-505.
33. L. Liu, R. Ellis, An approach to eliminating COMMON blocks and deriving ADTs from Fortran programs, Technical report, University of Westminster, UK, 1993.
34. P.E. Livadas, 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, 1994.
35. J.R. Lyle, Evaluating variations of program slicing for debugging, PhD thesis, University of Maryland, College Park, MD, 1984.
36. J.R. Lyle, D. Binkley, Program slicing in the presence of pointers, in: Foundations of Software Engineering, 1993.
37. J.R. Lyle, D.R. Wallace, J.R. Graham, K.B. Gallagher, J.P. Poole, D.W. Binkley, Unravel project, URL http://hissa.ncsl.nist.gov/~ jimmy/unravel.html.
38. J.R. Lyle, M. Weiser, Automatic program bug location by program slicing, in: 2nd International Conference on Computers and Applications, Peking, 1987, pp. 877-882.
39. L.M. Ott, Using slice profiles and metrics during software maintenance, in: Proceedings of the 10th Annual Software Reliability Symposium, 1992, pp. 16-23.
40. L.M. Ott, J.M. Bieman, Effects of software changes on module cohesion, in: IEEE Conference on Software Maintenance, 1992, pp. 345-353.
41. L.M. Ott, J.J. Thuss, The relationship between slices and module cohesion, in: Proceedings of the 11th ACM conference on Software Engineering, 1989, pp. 198-204.
42. L.M. Ott, J.J. Thuss, Slice based metrics for estimating cohesion, in: Proceedings of the IEEE-CS International Metrics Symposium, 1993, pp. 78-81.
43. K.J. Ottenstein, L.M. Ottenstein, The program dependence graph in software development environments, SIGPLAN Notices 19(5) (1984) 177-184.
44. T. Reps, S. Horwitz, M. Sagiv, G. Rosay, Speeding up slicing, in: ACM Foundations of Software Engineering (FSE'94), New Oleans, LA, 1994, pp. 11-20.
45. N. Shahmehri, Generalized algorithmic debugging, PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1991 (Available as Linköping Studies in Science and Technology, Dissertations, No. 260.)
46. D. Simpson, S.H. Valentine, R. Mitchell, L. Liu, R. Ellis, Recoup -Maintaining Fortran, ACM Fortran Forum 12(3) (1993) 26-32.
47. F. Tip, A survey of program slicing techniques, Journal of Programming Languages 3(3) (1995) 121-189.
48. F. Tip, J-D. Choi, J. Field, G. Ramalingham, Slicing class hierarchies in C++, in: Proceedings of the 11th Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'96), San Jose, 1996.
49. G.A. Venkatesh, The semantic approach to program slicing, SIGPLAN Notices 26(6) (1991) 107-119.
50. M. Weiser, Program slices: formal, psychological, and practical investigations of an automatic program abstraction method, PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
51. M. Weiser, Program slicing, IEEE Transactions on Software Engineering 10(4) (1984) 352-357.
52. J. Zhao, J. Cheng, K. Ushijima, Static slicing of concurrent object-oriented programs, in: 20th IEEE Annual International Computer Software and Applications Conference (COMPSAC'96), Seoul, Korea, 1996 (in press).