Program Slicing

Collection of references related to program slicing and how program slicing may be used to support those cognitive activities in software development (e.g., debugging, testing, maintenance). The prefix on each line is an anchor to that reference, making links to references easier to instantiate. Most of the files are maintained locally as postscript files though same may be in PDF format.

Agrawal93 Agrawal, H., R. A. DeMillo, & E. H. Spafford (1993) Efficient Debugging With Slicing and Backtracking. An expanded version of this paper appeared as Debugging With Dynamic Slicing and Backtracking in Software Practice & Experience, 23(6), pp.589-616, June 1993.

Binkley96 Binkley, D. & K. Gallagher. Program slicing. to appear in Advances in Computers, 1996.

Comuzzi96 Comuzzi, J. J. & J. M. Hart. (1996) Program slicing using weakest preconditions. In FME '96: Industrial Benefit and Advances in Formal Methods, volume 1051 of LNCS, pages 557-575, Oxford, England, March 1996. Springer.

DeLucia96 De Lucia, A., A. R. Fasolino, & M. Munro (1996) Understanding Function Behaviors through Program Slicing. Proceedings of 4th IEEE Workshop on Program Comprehension, Berlin, Germany, March 1996, IEEE Comp. Soc. Press, pp. 9-18.

Fiore96 Fiore, P., F. Lanubile & G. Visaggio (1996) Effort estimation for program comprehension. Proc. of the 4th IEEE Workshop on Program Comprehension, Berlin, Germany, March 1996, IEEE Computer Society Press.

Harman94 Harman, M. & S. Danicic (1994) A new approach to program slicing. In 7th International Software Quality Week, San Francisco, May 1994.

Harman95a Harman, M., S. Danicic & Y. Sivagurunathan (1995) Program Comprehension Assisted by Slicing and Transformation. 1st UK Program Comprehension Workshop , Centre for Software Maintenance , University of Durham , Malcolm Munro (ed.), 6th - 7th of July, 1995.

Harman95b Harman, M. & S. Danicic (1995) Using program slicing to simplify testing. Software Testing, Verification and Reliability, 5:143-162, September 1995.

Horwitz92 Horwitz, S. and Reps, T. (1992) The use of program dependence graphs in software engineering. In Proceedings of the Fourteenth International Conference on Software Engineering, (May 11-15, 1992, Melbourne, Australia), ACM, New York, NY, 1992, pp. 392-411.

Korel97 Korel, B. (1997) Computation of Dynamic Program Slices for Unstructurd Programs. IEEE Trans. on Software Engineering, SE-23. p. 17-34.

Livadas94 Livadas, P. E. & S. D. Alden (1994) A toolset for program understanding. Technical report, Computer and Information Sciences, University of Florida, Gainesville, FL 32611, 1994.

Livadas92 Livadas, P. E. & S. Croll (1992) Program slicing. Technical Report SERC-TR-61-F, Software Engineering Research Centre, October 1992.

Lanubile, G. & G. Visaggio (1997) Extracting Reusable Functions by Flow Graph-Based Program Slicing. IEEE Trans. Software Engineering, 23, pp. 246-259.

Pan92 Pan, H. & E. H. Spafford (1992) Heuristics for Automatic Localization of Software Faults. A shortened version of this paper appeared in Proceedings of the 10th Pacific Northwest Software Quality Conference, Oct 1992, pp. 192--209. An expanded of this paper is to appear in a future issue of Journal of Computer and Software Engineering.

Siff97 Siff, M. and Reps, T. (1997) Identifying modules via concept analysis. To appear in ICSM '97: IEEE International Conference on Software Maintenance, (Sept. 29 - Oct. 3, 1997, Bari, Italy), IEEE Computer Society, Washington, DC, 1997.

Tip94 Tip, F. (1994) A survey of program slicing techniques. Report CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1994.

Venkatesh91 Venkatesh, G. A. (1991) The Semantic Approach to Program Slicing. Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation. Toronto, Ontario, Canda, June 26-28, 1991.

Viravan94 Viravan, C. Enhancing Debugging Technology. Ph.D. dissertation, Purdue University.

Weiser81 Weiser, Mark. Program Slicing. Proc. 5th Int. Conf. on Software Eng. New York: IEEE, 1981, 439-449.

Weiser82 Weiser, M. (1982) Programmers Use Slices When Debugging. CACM, 25, p. 446-452.

Comments should be sent to

This document
Created:May 1, 1997
by RLU
Modified: May 29, 1997