Unravel - References to Program Slicing

The Unravel Project
References to Program Slicing

1.   H. Agrawal. Towards automatic debugging of computer programs. Technical Report SERC-TR-40-P, Purdue University, 1989.

2.   H. Agrawal, R. DeMillo, and E. Spafford. A process state model to relate testing and debugging. Technical Report SERC-TR-27-P, Purdue University, 1988.

3.   H. Agrawal, R. DeMillo, and E. Spafford. Debugging with dynamic slicing and backtracking. Software-Practice and Experience, 26(6):589-616, June 1993.

4.   H. Agrawal and J. Horgan. Dynamic program slicing. Technical Report SERC-TR-56-P, Purdue University, 1989.

5.   H. Agrawal and J. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN '90 Conference, 1990.

6.   R. Arnold and S. Bohner. Impact analysis - towards a framework for comparison. In Proceedings of the Conference on Software Maintenance - 1993, pages 292-301, September 1993.

7.   J. Beck. Interface Slicing: A static Program Analysis Tool for Software Engineering. PhD thesis, West Virginia University, 1993.

8.   J. Beck. Program and interface slicing for reverse engineering. In Proceeding of the Fifteenth International COnference on Software Engineering, 1993. also in Proceedings of the Working Conference on Reverse Engineering.

9.   J-F. Bergeretti and B. Carré. Information-flow and data-flow analysis of while-programs. ACM Transactions on Programming Languages and Systems, 7(1):37-61, January 1985.

10.   V. Berzins. On merging software extensions. Acta Informatica, 23:607-619, 1985.

11.   V. Berzins. Software merge: Models and methods for combining changes to programs. International Journal on Systems Integration, 1:121-141, August 1991.

12.   D. Binkley. Using semantic differencing to reduce the cost of regression testing. In Proceedings of the Conference on Software Maintenance - 1992, pages 41-50, November 1992.

13.   D. Binkley. Slicing in the presence of parameter aliasing. In Software Engineering Research Forum, Orlando, FL, November 1993.

14.   T. Chen and Y. Cheung. Dynamic program dicing. In Proceedings of the Conference on Software Maintenance - 1993, pages 378-385, 1993.

15.   J-D. Choi, B. Miller, and P. Netzer. Techniques for debugging parallel programs with flowback analysis. Technical Report 786, University of Wisconsin - Madison, August 1988.

16.   F. Cutillo, R. Fiore, and G. Visaggio. Identification and extraction of domain independent components in large programs. In Proceedings of the Working Conference on Reverse Engineering, pages 83-92, June 1993.

17.   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.

18.   K. Gallagher. Evaluating the surgeon's assistant: Results of a pilot study. In Proceedings of the Conference on Software Maintenance - 1992, pages 236-244, November 1992.

19.   K. B. Gallagher. Using Program Slicing in Software Maintenance. PhD thesis, University of Maryland, Baltimore, Maryland, December 1989.

20.   K. B. Gallagher. Surgeon's assistant limits side effects. IEEE Software, page 64, May 1990.

21.   K. B. Gallagher. Conditions to assure semantically correct consistent software merges in linear time. In Proceedings of the Third International Workshop on Software Configuration Management, pages 80-84, May 1991.

22.   K. B. Gallagher and J. R. Lyle. Using program decomposition to guide modifications. In Conference on Software Maintenance - 1988, pages 265-268, October 1988.

23.   K. B. Gallagher and J. R. Lyle. A program decomposition scheme with applications to software modification and testing. In Proceedings of the 22nd Hawaii International Conference on System Sciences, pages 479-485, January 1989. Volume II, Software Track.

24.   K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, August 1991.

25.   K. B. Gallagher and J. R. Lyle. Program slicing and software safety. In Proceedings of the Eight Annual Conference on Computer Assurance, pages 71-80, June 1993. COMPASS '93.

26.   K. B. Gallagher, C. Mair, A. Ramina, R. Tom, and F. Gauthier. A tool to guide safe modifications. In International Conference on Software Engineering, May 1989. Presented in Tool Track.

27.   W. Griswold. Program Restructuring as an Aid to Software Maintenance. PhD thesis, University of Washington, 1991. also TR 91-08-04.

28.   W. Griswold and D. Notkin. Computer-aided vs. manual program restructuring. Technical report, University of Washington, 1991.

29.   W. Griswold and D. Notkin. Semantic manipulation of program source. Technical report, University of Washington, 1991.

30.   W. Griswold and D. Notkin. Automated assistance for program restructuring. ACM Transactions on Software Engineering and Methodology, 2(3):270-285, July 1993.

31.   J. Hagemeister, B. Lowther, P. Oman, X. Yu, and W. Zhu. An extended bibliography on programming style and software maintenance. Technical Report 91-07-bb, University of Idaho, 1991.

32.   P. Hausler. Denotational program slicing. In Proceedings of the 22nd Hawaii International Conference on System Sciences, pages 486-494, January 1989. Volume II, Software Track.

33.   S. Horwitz, J. Prins, and T. Reps. Integrating non-interfering versions of programs. In Proceedings of the SIGPLAN 88 Symposium on the Principles of Programming Languages, January 1988.

34.   S. Horwitz, J. Prins, and T. Reps. On the adequacy of program dependence graphs for representing programs. In Proceedings of the SIGPLAN 88 Symposium on the Principles of Programming Languages, January 1988.

35.   S. Horwitz, J. Prins, and T. Reps. Support for integrating program variants in an environment for programming in the large. In Proceedings of the International Workshop on Software Version and Configuration Control 88, Grassau, Germany, January 1988.

36.   S. Horwitz, J. Prins, and T. Reps. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-387, July 1989.

37.   S. Horwitz and T. Reps. Efficient comparison of program slices. Technical Report 983, University of Wisconsin at Madison, 1990.

38.   S. Horwitz and T. Reps. Efficient comparison of program slices. Acta Informatica, pages 713-732, 1991.

39.   S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In Proceedings of the Fourteenth International Conference on Software Engineering, 1992.

40.   S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, Atlanta, Georgia, June 1988.

41.   S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):35-46, January 1990.

42.   J. Hwang, M. Du, and C. Chou. Finding program slices for recursive procedures. In Proceedings of the Twelfth International Computer Software and Applications Conference ( COMPSAC `88), pages 220-227, October 1988.

43.   J. Hwang, M. Du, and C. Chou. The influence of language semantics an program slices. In Proceedings of the 1988 International Conference on Computer Languages, 1988.

44.   J. Jiang, X. Zhou, and D.J. Robson. Program slicing for c: The problems in implementation. In Proceeding of the Conference on Software Maintenance, October 1991.

45.   M. Kamkar. Interprocedural Dynamic Slicing with Applications to Debugging and Testing. PhD thesis, Linkoping University, S-581 83 Linkoping, Sweeden, 1993.

46.   M. Kamkar, P. Fritzson, and N. Shahmehri. Interprocedural dynamic slicing applied to interprocedural data flow testing. In Proceeding of the Conference on Software Maintenance -93, pages 386-395, 1993.

47.   J. Keables, K. Robertson, and A. von Mayrhauser. Data flow analysis and its application to software maintenance. In Conference on Software Maintenance - 1988, pages 335-347, October 1988.

48.   P. Kilpatrick, D. Crookes, and M. Owens. Program slicing: A computer aided programming technique. In Proceedings of the Second IEEE / BCS Conference on Software Engineering, pages 602-604, 1988.

49.   B. Korel and J. Laski. Dynamic program slicing. Information Processing Letters, 29(3):155-163, October 1988.

50.   B. Korel and J. Laski. STAD - A system for testing and debugging: User perspective. In Proceedings of the Second Workshop on Software Testing, Verification and Analysis, pages 13-20, Banff, Alberta, Canada, July 1988.

51.   B. Korel and J. Laski. Dynamic slicing of computer programs. Journal of Systems and Software, pages 198-195, 1990.

52.   F. Lanubile and G. Visaggio. Function recovery based on program slicing. In Proceedings of the Conference on Software Maintenance - 199, pages 396-404, September 1993.

53.   J. Laski. Data flow testing in STAD. The Journal of Systems and Software, 1989.

54.   J. Laski. A data flow based algorithm for the derivation of program slices. Technical Report TR-CSE-10-1, Oakland University, 1991.

55.   J. Laski and K. Musial. On the quality of partition testing of computer programs. Technical Report TR-CSE-91-12-2, Oakland University, 1991.

56.   J. Laski and W. Szermer. Reachability slicing in software reliability studies. Technical Report TR-CSE-91-12-1, Oakland University, 1991.

57.   J. Laski and W. Szermer. Identification of program modifications and its application in software maintenance. In Proceedings of the Conference on Software Maintenance - 1992, pages 282-290, November 1992.

58.   S. Letovsky and E. Soloway. Delocalized plans and program comprehension. IEEE Software, 3(5), May 1987.

59.   H. Leung and H. Reghbati. Comments on program slicing. IEEE Transactions on Software Engineering, 13(12):1370-1371, December 1987. Correspondence.

60.   H. Longworth. Slice based program metrics. Master's thesis, Michigan Technological University, Houghton, Michigan, 1985.

61.   H. Longworth, L. Ott, and M.Smith. The relationship between program complexity and slice complexity during debugging tasks. In COMPSAC 86, 1986.

62.   J. R. Lyle. Evaluating Variations of Program Slicing for Debugging. PhD thesis, University of Maryland, College Park, Maryland, December 1984.

63.   J. R. Lyle and M. D. Weiser. Experiments in slicing-based debugging aids. In Elliot Soloway and Sitharama Iyengar, editors, Empirical Studies of Programmers. Ablex Publishing Corporation, Norwood, New Jersey, 1986.

64.   J. R. Lyle and M. D. Weiser. Automatic program bug location by program slicing. In Proceeding of the Second International Conference on Computers and Applications, pages 877-882, Peking, China, June 1987.

65.   E. Merlo, J. Girard, L. Hendren, and P. De Mori. Multi-valued constant propogation for the reengineering of user interfaces. In Proceedings of the Conference on Software Maintenance - 1993, pages 120-129, September 1993.

66.   E. Merlo, J. Girard, K. Kontigiannis, P. Panangaden, and R. De Mori. Reverse engineering of user interfaces. In Proceedings of the Working Conference on Reverse Engineering, pages 171-179, June 1993.

67.   P. Oman, J. Hagemeister, and D. Ash. A definition and taxonomy for software maintainability. Technical Report 91-08-TR, University of Idaho, 1991.

68.   L. Ott and J. Bieman. Effects of software changes on module cohesion. In Proceedings of the Conference on Software Maintenance - 1992, pages 345-353, November 1992.

69.   L. Ott and J. Thuss. The relationship between slices and module cohesion. In International Conference on Software Engineering, May 1989.

70.   K. Ottenstein and L. Ottenstein. The program dependence graph in software development environments. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 177-184, May 1984. L. Ottenstein is now known as L. Ott.

71.   M. Platoff and M. Wagner. An integrated program representation and toolkit of the maintenance of C programs. In Proceeding of the Conference on Software Maintenance, October, 1991.

72.   G. Ramalingam and T. Reps. On the computational complexity of incremental algorithms. Technical Report 1033, University of Wisconsin at Madison, 1991.

73.   G. Ramalingam and T. Reps. A theory of program modifications. In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of the Colloquium on Combining Paradigms for Software Development, pages 137-152. Springer-Verlag, 1991.

74.   G. Ramalingam and T. Reps. Modification algebras. In Proceedings of the Second International Conference on Algebraic Methodology and Software Technology. Springer-Verlag, 1992.

75.   T. Reps. On the algebraic properties of program integration. Technical Report 856, University of Wisconsin at Madison, June 1989.

76.   T. Reps. Algebraic properties of program integration. Science of Computer Programming, 17:139-215, 1991.

77.   T. Reps and T. Bricker. Semantics-based program integration illustrating interference in interfering versions of programs. In Proceedings of the Second International Workshop on Software Configuration Management, pages 46-55, Princeton, New Jersey, October 1989.

78.   T. Reps and S. Horwitz. Semantics-based program integration. In Proceedings of the Second European Symposium on Programming ( ESOP '88), pages 133-145, Nancy, France, March 1988.

79.   T. Reps and W. Yang. The semantics of program slicing. Technical Report 777, University of Wisconsin - Madison, June 1988.

80.   S. Tilley, H. Muller, M. Whitney, and K. Wong. Domain retargetable reverse engineering. In Proceedings of the Conference on Software Maintenance - 1993, pages 142-151, September 1993.

81.   M. Weiser. Program Slicing: Formal , Psychological and Practical Investigations of an Automatic Program Abstraction Method. PhD thesis, The University of Michigan, Ann Arbor , Michigan, 1979.

82.   M. Weiser. Program slicing. In Proceeding of the Fifth International Conference on Software Engineering, pages 439-449, May 1981.

83.   M. Weiser. Programmers use slices when debugging. CACM, 25(7):446-452, July 1982.

84.   M. Weiser. Reconstructing sequential behavior from parallel behavior projections. Information Processing Letters, 17(5):129-135, October 1983.

85.   M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10:352-357, July 1984.

86.   L. White and V. Narayanswamy. Test manager: A regression testing tool. In Proceedings of the Conference on Software Maintenance - 1993, pages 338-347, September 1993.

Contact Information

Jim Lyle

National Institute of Standards and TechnologyInformation Technology Laboratory
Mail Stop 8970
Gaithersburg, MD 20899

(Voice) +1(301)975-3270
(Fax) +1(301)926-3696
(Internet) jlyle [at] nist.gov (jlyle[at]nist[dot]gov)