Program slicing

Proceedings of the 2008 Frontiers of Software Maintenance, FoSM 2008

Volumn , Issue , 2008, Pages 58-67

  Gallagher, Keith ^a   Binkley, David ^b  

^a DURHAM UNIVERSITY   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; INFORMATION THEORY; MAINTAINABILITY; MAINTENANCE;

COMMUNITY IS; CURRENT APPLICATIONS; DECOMPOSITION TECHNIQUES; EXECUTABLE PROGRAMS; FINITE STATES; FUNDAMENTAL PRINCIPLES; PROGRAM COMPONENTS; PROGRAM SLICING; PROPERTY VERIFICATIONS; REMAINING COMPONENTS; RESEARCH CHALLENGES; SLICING CRITERIONS; TUTORIAL INTRODUCTIONS;

PROGRAM DEBUGGING;

EID: 57849090135     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FOSM.2008.4659249     Document Type: Conference Paper

References (60)

1. H. Agrawal and J. R. Horgan. Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 246-256, June 1990.
2. P. Anderson, D. Binkley, G. Rosay, and T. Teitelbaum. Flow insensitive points-to sets. In Proceedings of the first IEEE Workshop on Source Code Analysis and Manipulation, pages 79-89, Los Alamitos, California, USA, Nov. 2001. IEEE Computer Society Press.
3. D. C. Atkinson and W. G. Griswold. Implementation techniques for efficient data-flow analysis of large programs. In IEEE International Conference on Software Maintenance (ICSM'01), Los Alamitos, California, USA, Nov. 2001. IEEE Computer Society Press.
4. st Conference on Automated Algorithmic Debugging, pages 206-222, Linköping, Sweden, 1993. Springer.
5. st IEEE International Workshop on Source Code Analysis and Manipulation, pages 145-154, Los Alamitos, California, USA, Oct. 2002. IEEE Computer Society Press.
6. D. Binkley. Precise executable interprocedural slices. ACM Letters on Programming Languages and Systems, 3(1-4):31-45, 1993.
7. D. Binkley. Semantics guided regression test cost reduction. IEEE Transactions on Software Engineering, 23(8):498-516, Aug. 1997.
8. D. Binkley. Semantics guided regression test cost reduction. IEEE Transactions on Software Engineering, 23(8):498-516, August 1997.
9. D. Binkley. The application of program slicing to regression testing. Information and Software Technology Special Issue on Program Slicing, 40(11 and 12):583-594, 1998.
10. D. Binkley, S. Danicic, T. Gyimóthy, M. Harman, Ákos Kiss, and B. Korel. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1):23-41, 2006.
11. D. Binkley, S. Danicic, M. Harman, J. Howroyd, and L. Ouarbya. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2):103-119, 2006.
12. D. Binkley and K. B. Gallagher. Program slicing. In M. Zelkowitz, editor, Advances in Computing, Volume 43, pages 1-50. Academic Press, 1996.
13. D. Binkley, N. Gold, and M. Harman. An empirical study of static program slice size. ACM Transactions on Software Engineering and Methodology, 16(2):1-32, 2007.
14. D. Binkley and M. Harman. A survey of empirical results on program slicing. Advances in Computers, 62:105-178, 2004.
15. st IEEE International Conference on Software Maintenance, pages 177-186, Los Alamitos, California, USA, 2005. IEEE Computer Society Press.
16. D. Binkley, M. Harman, and J. Krinke. Empirical study of optimization techniques for massive slicing. ACM Transactions on Programming Languages and Systems, 2008. To appear.
17. S. E. Black. Computing ripple effect for software maintenance. Journal of Software Maintenance and Evolution: Research and Practice, 13:263-279, 2001.
18. G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. Information and Software Technology Special Issue on Program Slicing, 40(11 and 12):595-607, 1998.
19. S. Danicic, D. Binkley, T. Gyimóthy, M. Harman, Ákos Kiss, and B. Korel. A formalisation of the relationship between forms of program slicing. Science of Computer Programming, 62(3):228-252, 2006.
20. th International Workshop on Program Comprehension, pages 89-97, Los Alamitos, California, USA, June 2004. IEEE Computer Society Press.
21. st. International Workshop on Programming Language Interference and Dependence, Verona, Italy, Aug. 2004.
22. M. Daoudi, S. Danicic, J. Howroyd, M. Harman, C. Fox, L. Ouarbya, and M. Ward. ConSUS: A scalable approach to conditioned slicing. In IEEE Working Conference on Reverse Engineering (WCRE 2002). IEEE Computer Society Press, Oct. 2002.
23. M. B. Dwyer, J. Hatcli., M. Hoosier, V. P. Ranganath, Robby, and T. Wallentine. Evaluating the effectiveness of slicing for model reduction of concurrent objectoriented programs. In TACAS, 2006.
24. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
25. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
26. D. P. Friedman and M. Felleisen. The little LISPer (2nd ed.). SRA School Group, USA, 1986.
27. Y. Futamura and K. Nogi. Generalized partial computation. In D. Bjrner, A. P. Ershov, and N. D. Jones, editors, IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 133-151. North-Holland, 1987.
28. th IEEE Working Conference on Reverse Engineering (WCRE 2003), Victoria, British Columbia, Canada, Nov. 2003. IEEE Computer Society Press.
29. K. Gallagher, T. Hall, and S. Black. Reducing regression test size by exclusion. In 23rd International Conference on Software Maintenance, pages 157-166, Paris, France, 2007. ISBN 1-4244-1256-0.
30. K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, Aug. 1991.
31. R. Giacobazzi and I. Mastroeni. Non-standard semantics for program slicing. Higher-Order and Symbolic Computation, 16(4):297-339, 2003.
32. R. Gopal. Dynamic program slicing based on dependence graphs. In IEEE Conference on Software Maintenance, pages 191-200, 1991.
33. Grammatech Inc. The codesurfer slicing system, 2002.
34. M. Harman, D. Binkley, and S. Danicic. Amorphous program slicing. Journal of Systems and Software, 68(1):45-64, Oct. 2003.
35. M. Harman, A. Lakhotia, and D. Binkley. A framework for static slicers of unstructured programs. Information and Software Technology, 48(7):549-565, 2006.
36. J. Hatcli., M. B. Dwyer, and H. Zheng. Slicing software for model construction. Higher-Order and Symbolic Computation, 13(4):315-353, Dec. 2000.
37. D. Hisley, M. J. Bridges, and L. L. Pollock. Static interprocedural slicing of shared memory parallel programs. In PDPTA '02: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pages 658-664. CSREA Press, 2002.
38. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-61, 1990.
39. G. Jayaraman, V. P. Ranganath, and J. Hatcli.. Kaveri: Delivering the Indus java program slicer to Eclipse. In LNCS, volume 3442, pages 269-273. Springer-Verlag, April 2005.
40. th Conference on Programming Language Implementation and Logic Programming, pages 370-384, 1992.
41. B. Korel, I. Singh, L. Tahat, and B. Vaysburg. Slicing of state based models. In IEEE International Conference on Software Maintenance (ICSM'03), pages 34-43, Los Alamitos, California, USA, Sept. 2003. IEEE Computer Society Press.
42. J. Krinke. Static slicing of threaded programs. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), pages 35-42, June 1998.
43. J. Krinke. Evaluating context-sensitive slicing and chopping. In IEEE International Conference on Software Maintenance, pages 22-31, Los Alamitos, California, USA, Oct. 2002. IEEE Computer Society Press.
44. J. Lallchandni and R. Mall. Personal communication, 2008.
45. L. D. Larsen and M. J. Harrold. Slicing object-oriented software. In Proceedings of the 18th International Conference on Software Engineering, pages 495-505, Berlin, 1996.
46. J. R. Lyle, D. R. Wallace, J. R. Graham, K. B. Gallagher, J. P. Poole, and D. Binkley. Unravel: A CASE tool to assist evaluation of high integrity software, Volume 1: Requirements and design. Technical Report NISTIR 5691, US Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD 20899., 1995.
47. nd International Conference on Computers and Applications, pages 877-882, Los Alamitos, California, USA, 1987. IEEE Computer Society Press.
48. J. R. Lyle and M. D. Weiser. Experiments on slicing-based debugging aids. In E. Soloway and S. Iyengar, editors, Empirical Studies of Programmers. Ablex Publishing Corporation, Norwood, New Jersey, 1986.
49. th IEEE International Conference and Software Engineering (ICSE 2008). IEEE Computer Society Press, May 2008.
50. U. Meyer. Techniques for partial evaluation of imperative programs. In Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). Association for Computer Machinery, 1991. Proceedings in SIGPlan Notices, 26(9), 1991.
51. K. J. Ottenstein and L. M. Ottenstein. The program dependence graph in software development environments. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environmt, SIGPLAN Notices, 19(5):177-184, 1984.
52. T. Reps and W. Yang. The semantics of program slicing. Technical Report Technical Report 777, University of Wisconsin, 1988.
53. G. Rothermel and M. J. Harrold. Analyzing regression test selection techniques. IEEE Transactions on Software Engineering, 22(8):529-551, Aug. 1996.
54. M. Sridharan, S. J. Fink, and R. Bodik. Thin slicing. SIGPLAN Not., 42(6):112-122, 2007.
55. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, Sept. 1995.
56. th IEEE Annual Computer Software and Applications Conference (COMPSAC 2002), pages 357-362, Los Alamitos, California, USA, Aug. 2002. IEEE Computer Society Press.
57. M. Ward and H. Zedan. Slicing as a program transformation. ACM Transactions on Programming Languages and Systems, 29(2), April 2007.
58. M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, July 1982.
59. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.
60. X. Zhang, R. Gupta, and Y. Zhang. Precise dynamic slicing algorithms. In IEEE/ACM International Conference on Software Engineering, Portland, Oregon, May 2003.