A formalisation of the relationship between forms of program slicing

Science of Computer Programming

Volumn 62, Issue 3, 2006, Pages 228-252

  Binkley, Dave ^a   Danicic, Sebastian ^b   Gyimóthy, Tibor ^c   Harman, Mark ^d   Kiss, Ákos ^c   Korel, Bogdan ^e  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

^b UNIVERSITY OF LONDON   (United Kingdom)

^c UNIVERSITY OF SZEGED   (Hungary)

^d KING'S COLLEGE LONDON   (United Kingdom)

^e ILLINOIS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Conditioned slicing; Dynamic slicing; Formal methods; Program slicing; Simultaneous slicing; Static slicing

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; FORMAL LANGUAGES;

CONDITIONED SLICING; DYNAMIC SLICING; FORMAL METHODS; PROGRAM SLICING; SIMULTANEOUS SLICING; STATIC SLICING;

COMPUTER SCIENCE;

EID: 33746639192     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.04.007     Document Type: Article

References (69)

1. Agrawal H., DeMillo R.A., and Spafford E.H. Debugging with dynamic slicing and backtracking. Software Practice and Experience 23 6 (1993) 589-616
2. H. Agrawal, J.R. Horgan, Dynamic program slicing, in: ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, 1990, pp. 246-256
3. Beck J., and Eichmann D. Program and interface slicing for reverse engineering. IEEE/ACM 15th Conference on Software Engineering. ICSE'93 (1993), IEEE Computer Society Press, Los Alamitos, CA, USA 509-518
4. Bieman J.M., and Ott L.M. Measuring functional cohesion. IEEE Transactions on Software Engineering 20 8 (1994) 644-657
5. D. Binkley, Multi-procedure program integration, Ph.D. Dissertation and Technical Report TR-1038, August 1991, Madison, WI
6. Binkley D., Danicic S., Gyimóthy T., Harman M., Kiss Á., and Korel B. Minimal slicing and the relationships between forms of slicing. 5th IEEE International Workshop on Source Code Analysis and Manipulation. SCAM 05 (2005), IEEE Computer Society Press, Los Alamitos, CA, USA, Budapest, Hungary 45-54 (best paper award winner)
7. D. Binkley, S. Danicic, T. Gyimóthy, M. Harman, Á. Kiss, B. Korel, Theoretical foundations of dynamic program slicing, Theoretical Computer Science (2006) (in press)
8. Binkley D., Danicic S., Gyimóthy T., Harman M., Kiss A., and Ouarbya L. Formalizing executable dynamic and forward slicing. 4th International Workshop on Source Code Analysis and Manipulation. SCAM 04 (2004), IEEE Computer Society Press, Los Alamitos, CA, USA, Chicago, IL, USA 43-52
9. Binkley D.W. Precise executable interprocedural slices. ACM Letters on Programming Languages and Systems 3 1-4 (1993) 31-45
10. Binkley D.W. The application of program slicing to regression testing. In: Harman M., and Gallagher K. (Eds). Program Slicing. Information and Software Technology 40 (1998) 583-594 (special issue). Elsevier
11. Binkley D.W., and Gallagher K.B. Program slicing. In: Zelkowitz M. (Ed). Advances in Computing vol. 43 (1996), Academic Press 1-50
12. Binkley D.W., and Harman M. A survey of empirical results on program slicing. Advances in Computers 62 (2004) 105-178
13. Binkley D.W., Horwitz S., and Reps T. Program integration for languages with procedure calls. ACM Transactions on Software Engineering and Methodology 4 1 (1995) 3-35
14. Canfora G., Cimitile A., and De Lucia A. Conditioned program slicing. In: Harman M., and Gallagher K. (Eds). Program Slicing. Information and Software Technology 40 (1998) 595-607 (special issue). Elsevier Science B.V.
15. Canfora G., Cimitile A., De Lucia A., and Lucca G.A.D. Software salvaging based on conditions. International Conference on Software Maintenance. ICSM'96 (1994), IEEE Computer Society Press, Los Alamitos, CA, USA, Victoria, Canada 424-433
16. 2: Reverse engineering and reuse re-engineering. Journal of Software Maintenance: Research and Practice 6 2 (1994) 53-72
17. R. Cartwright, M. Felleisen, The semantics of program dependence, in: ACM SIGPLAN Conference on Programming Language Design and Implementation, 1989, pp. 13-27
18. Cimitile A., De Lucia A., and Munro M. Identifying reusable functions using specification driven program slicing: a case study. Proceedings of the IEEE International Conference on Software Maintenance. ICSM'95 (1995), IEEE Computer Society Press, Los Alamitos, CA, USA, Nice, France 124-133
19. Cimitile A., De Lucia A., and Munro M. A specification driven slicing process for identifying reusable functions. Software Maintenance: Research and Practice 8 (1996) 145-178
20. Cousot P., and Cousot R. Abstract interpretation frameworks. Journal of Logic and Computation 2 4 (1992) 511-547
21. S. Danicic, Dataflow minimal slicing, Ph.D. Thesis, University of North London, UK, School of Informatics, April 1999
22. Danicic S., Daoudi M., Fox C., Harman M., Hierons R.M., Howroyd J., Ouarbya L., and Ward M. Consus: A lightweight program conditioner. Software Reverse Engineering. Journal of Systems and Software (2005) 241-262 (special issue)
23. Danicic S., De Lucia A., and Harman M. Building executable union slices using conditioned slicing. 12th International Workshop on Program Comprehension. IWPC 2004 (2004), IEEE Computer Society Press, Los Alamitos, CA, USA, Bari, Italy 89-97
24. Danicic S., Fox C., Harman M., Hierons R.M., Howroyd J., and Laurence M. Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas. The Computer Journal 48 (2005) 737-748
25. S. Danicic, M. Harman, A simultaneous slicing theory and derived program slicer, in: 4th RIMS Workshop in Computing, Kyoto University, Kyoto, Japan, 1996
26. Danicic S., Harman M., Hierons R., Howroyd J., and Laurence M. Applications of linear program schematology in dependence analysis. 1st International Workshop on Programming Language Interference and Dependence. Verona, Italy (2004). http://profs.sci.univr.it/~mastroen/noninterference.html
27. Danicic S., Harman M., Howroyd J., and Ouarbya L. A lazy semantics for program slicing. 1st International Workshop on Programming Language Interference and Dependence. Verona, Italy (2004). http://profs.sci.univr.it/~mastroen/noninterference.html
28. Danicic S., Harman M., and Sivagurunathan Y. A parallel algorithm for static program slicing. Information Processing Letters 56 6 (1995) 307-313
29. De Lucia A. Program slicing: Methods and applications. 1st IEEE International Workshop on Source Code Analysis and Manipulation (2001), IEEE Computer Society Press, Los Alamitos, CA, USA, Florence, Italy 142-149
30. De Lucia A., Fasolino A.R., and Munro M. Understanding function behaviours through program slicing. 4th IEEE Workshop on Program Comprehension (1996), IEEE Computer Society Press, Los Alamitos, CA, USA, Berlin, Germany 9-18
31. Fox C., Danicic S., Harman M., and Hierons R.M. ConSIT: A fully automated conditioned program slicer. Software-Practice and Experience 34 (2004) 15-46 (published online 26th November 2003)
32. Gallagher K.B. Evaluating the surgeon's assistant: Results of a pilot study. Proceedings of the International Conference on Software Maintenance (1992), IEEE Computer Society Press, Los Alamitos, CA, USA 236-244
33. Gallagher K.B., and Lyle J.R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17 8 (1991) 751-761
34. Giacobazzi R., and Mastroeni I. Non-standard semantics for program slicing. Partial Evalution and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation 16 4 (2003) 297-339 (special issue)
35. Gupta R., Harrold M.J., and Soffa M.L. An approach to regression testing using slicing. Proceedings of the IEEE Conference on Software Maintenance (1992), IEEE Computer Society Press, Los Alamitos, CA, USA, Orlando, FL, USA 299-308
36. Harman M., Binkley D.W., and Danicic S. Amorphous program slicing. Journal of Systems and Software 68 1 (2003) 45-64
37. Harman M., and Danicic S. Using program slicing to simplify testing. Software Testing, Verification and Reliability 5 3 (1995) 143-162
38. Harman M., and Danicic S. Amorphous program slicing. 5th IEEE International Workshop on Program Comprehension. IWPC'97 (1997), IEEE Computer Society Press, Los Alamitos, CA, USA, Dearborn, MI, USA 70-79
39. Harman M., and Hierons R.M. An overview of program slicing. Software Focus 2 3 (2001) 85-92
40. Harman M., Hierons R.M., Danicic S., Howroyd J., and Fox C. Pre/post conditioned slicing. IEEE International Conference on Software Maintenance. ICSM'01 (2001), IEEE Computer Society Press, Los Alamitos, CA, USA, Florence, Italy 138-147
41. Harman M., Hu L., Hierons R.M., Wegener J., Sthamer H., Baresel A., and Roper M. Testability transformation. IEEE Transactions on Software Engineering 30 1 (2004) 3-16
42. Harman M., Hu L., Munro M., Zhang X., Binkley D.W., Danicic S., Daoudi M., and Ouarbya L. Syntax-directed amorphous slicing. Journal of Automated Software Engineering 11 1 (2004) 27-61
43. Harman M., Simpson D., and Danicic S. Slicing programs in the presence of errors. Formal Aspects of Computing 8 4 (1996) 490-497
44. Hierons R.M., Harman M., and Danicic S. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability 9 4 (1999) 233-262
45. Hierons R.M., Harman M., Fox C., Ouarbya L., and Daoudi M. Conditioned slicing supports partition testing. Software Testing, Verification and Reliability 12 (2002) 23-28
46. Horwitz S., Pfeiffer P., and Reps T. Dependence analysis for pointer variables. Proceedings of the ACM SIGPLAN 89 Conference on Programming Language Design and Implementation, Portland, OR, USA, 1989. ACM SIGPLan Notices (1989) 28-40
47. Horwitz S., Prins J., and Reps T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems 11 3 (1989) 345-387
48. Horwitz S., Reps T., and Binkley D.W. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12 1 (1990) 26-61
49. M. Kamkar, Interprocedural dynamic slicing with applications to debugging and testing, Ph.D. Thesis, Department of Computer Science and Information Science, Linköping University, Sweden (Available as Linköping Studies in Science and Technology, Dissertations, Number 297 (1993))
50. Knuth D.E., and Floyd R.W. Notes on avoiding go to statements. Information Processing Letters 1 1 (1971) 23-31
51. Korel B., and Laski J. Dynamic program slicing. Information Processing Letters 29 3 (1988) 155-163
52. Korel B., and Rilling J. Dynamic program slicing in understanding of program execution. 5th IEEE International Workshop on Program Comprehension. IWPC'97 (1997), IEEE Computer Society Press, Los Alamitos, CA, USA, Dearborn, MI, USA 80-89
53. A. Lakhotia, Rule-based approach to computing module cohesion, in: Proceedings of the 15th Conference on Software Engineering, ICSE-15, 1993, pp. 34-44
54. M.R. Laurence, Equivalence of linear, free, liberal program schemas is decidable in polynomial time, Ph.D. Thesis, Goldsmiths College, University of London, July 2004
55. M.R. Laurence, Deciding equivalence of liberal, free, function-linear schemas to their slices, Journal of Logic and Algebraic Programming (submitted for publication)
56. Laurence M.R., Danicic S., Harman M., Hierons R., and Howroyd J. Equivalence of conservative, free, linear program schemas is decidable. Theoretical Computer Science 290 (2003) 831-862
57. Lyle J.R., and Weiser M. Automatic program bug location by program slicing. 2nd International Conference on Computers and Applications (1987), IEEE Computer Society Press, Los Alamitos, CA, USA, Peking 877-882
58. Ott L.M., and Thuss J.J. Slice based metrics for estimating cohesion. Proceedings of the IEEE-CS International Metrics Symposium (1993), IEEE Computer Society Press, Los Alamitos, CA, USA, Baltimore, MA, USA 71-81
59. L. Ouarbya, A lazy semantics for program slicing, Ph.D. Thesis, Department of Computing, Goldsmiths College, University of London, 2005
60. Ramshaw L. Eliminating goto's while preserving program structure. Journal of the ACM 35 4 (1988) 893-920
61. Reps T. Program analysis via graph reachability. In: Harman M., and Gallagher K. (Eds). Program Slicing. Information and Software Technology 40 (1998) 701-726 (special issue). Elsevier Science B.V.
62. Reps T., Horwitz S., Sagiv M., and Rosay G. Speeding up slicing. ACM Foundations of Software Engineering, FSE'94, New Orleans, LA, 1994. ACM SIGSOFT Software Engineering Notes 19 5 (1994) 11-20
63. T. Reps, W. Yang, The semantics of program slicing, Technical Report 777, University of Wisconsin, 1988
64. Simpson D., Valentine S.H., Mitchell R., Liu L., and Ellis R. Recoup-maintaining fortran. ACM Fortran Forum 12 3 (1993) 26-32
65. Tip F. A survey of program slicing techniques. Journal of Programming Languages 3 3 (1995) 121-189
66. Venkatesh G.A. The semantic approach to program slicing. ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, 1991, pp. 26-28. Proceedings in SIGPLAN Notices 26 6 (1991) 107-119
67. M. Weiser, Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method, Ph.D. Thesis, University of Michigan, Ann Arbor, MI, 1979
68. Weiser M. Program slicing. IEEE Transactions on Software Engineering 10 4 (1984) 352-357
69. Weiser M., and Lyle J.R. Experiments on slicing-based debugging aids. In: Soloway E., and Iyengar S. (Eds). Empirical Studies of Programmers (1985), Molex 187-197 (Chapter 12)