Program slicing

[1]  A. Maule,et al.  Impact analysis of database schema changes , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[2]  Mark Harman,et al.  Empirical study of optimization techniques for massive slicing , 2007, ACM Trans. Program. Lang. Syst..

[3]  Tracy Hall,et al.  Reducing Regression Test Size by Exclusion , 2007, 2007 IEEE International Conference on Software Maintenance.

[4]  Manu Sridharan,et al.  Thin slicing , 2007, PLDI '07.

[5]  Mark Harman,et al.  An empirical study of static program slice size , 2007, TSEM.

[6]  Hussein Zedan,et al.  Slicing as a program transformation , 2007, TOPL.

[7]  Mark Harman,et al.  A formalisation of the relationship between forms of program slicing , 2006, Sci. Comput. Program..

[8]  Mark Harman,et al.  Theoretical foundations of dynamic program slicing , 2006, Theor. Comput. Sci..

[9]  Mark Harman,et al.  A formal relationship between program slicing and partial evaluation , 2006, Formal Aspects of Computing.

[10]  Matthew B. Dwyer,et al.  Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs , 2006, TACAS.

[11]  Mark Harman,et al.  Locating dependence clusters and dependence pollution , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[12]  John Hatcliff,et al.  Kaveri: Delivering the Indus Java Program Slicer to Eclipse , 2005, FASE.

[13]  Mark Harman,et al.  A lazy semantics for program slicing , 2004 .

[14]  Mark Harman,et al.  Building executable union slices using conditioned slicing , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..

[15]  Roberto Giacobazzi,et al.  Non-Standard Semantics for Program Slicing , 2003, High. Order Symb. Comput..

[16]  David W. Binkley,et al.  An empirical study of computation equivalence as determined by decomposition slice equivalence , 2003, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings..

[17]  Bogdan Korel,et al.  Slicing of state-based models , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[18]  Xiangyu Zhang,et al.  Precise dynamic slicing algorithms , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[19]  Mark Harman,et al.  ConSUS: a scalable approach to conditioned slicing , 2002, Ninth Working Conference on Reverse Engineering, 2002. Proceedings..

[20]  Jens Krinke,et al.  Evaluating context-sensitive slicing and chopping , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[21]  Francoise Balmas,et al.  Using dependence graphs as a support to document programs , 2002, Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation.

[22]  Martin P. Ward.  Program slicing via FermaT transformations , 2002, Proceedings 26th Annual International Computer Software and Applications.

[23]  Matthew J. Bridges,et al.  Static Interprocedural Slicing of Shared Memory Parallel Programs , 2002, PDPTA.

[24]  Paul Anderson,et al.  Flow insensitive points-to sets , 2001, Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation.

[25]  William G. Griswold,et al.  Implementation techniques for efficient data-flow analysis of large programs , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[26]  Sue Black,et al.  Computing ripple effect for software maintenance , 2001, J. Softw. Maintenance Res. Pract..

[27]  Matthew B. Dwyer,et al.  Slicing Software for Model Construction , 2000, High. Order Symb. Comput..

[28]  Aniello Cimitile,et al.  Conditioned program slicing , 1998, Inf. Softw. Technol..

[29]  David W. Binkley,et al.  The application of program slicing to regression testing , 1998, Inf. Softw. Technol..

[30]  Jens Krinke,et al.  Static slicing of threaded programs , 1998, PASTE '98.

[31]  David W. Binkley,et al.  Semantics Guided Regression Test Cost Reduction , 1997, IEEE Trans. Software Eng..

[32]  Mark Harman,et al.  Amorphous program slicing , 1997, Proceedings Fifth International Workshop on Program Comprehension. IWPC'97.

[33]  Gregg Rothermel,et al.  Analyzing Regression Test Selection Techniques , 1996, IEEE Trans. Software Eng..

[34]  Mary Jean Harrold,et al.  Slicing object-oriented software , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[35]  Mark Harman,et al.  A Parallel Algorithm for Static Program Slicing , 1995, Inf. Process. Lett..

[36]  David W. Binkley,et al.  Reducing the cost of regression testing by semantics guided test case selection , 1995, Proceedings of International Conference on Software Maintenance.

[37]  Thomas W. Reps,et al.  Precise interprocedural chopping , 1995, SIGSOFT FSE.

[38]  Jan Willem Klop,et al.  Term Graph Rewriting , 1995, HOA.

[39]  G. A. Venkatesh,et al.  Experimental results from dynamic slicing of C programs , 1995, TOPL.

[40]  Frank Tip,et al.  Parametric program slicing , 1995, POPL '95.

[41]  Daniel Jackson,et al.  A new model of program dependences for reverse engineering , 1994, SIGSOFT '94.

[42]  Thomas W. Reps,et al.  Speeding up slicing , 1994, SIGSOFT '94.

[43]  James M. Bieman,et al.  Measuring Functional Cohesion , 1994, IEEE Trans. Software Eng..

[44]  Gregg Rothermel,et al.  Selecting tests and identifying test coverage requirements for modified software , 1994, ISSTA '94.

[45]  Frank Tip,et al.  A survey of program slicing techniques , 1994, J. Program. Lang..

[46]  Jong-Deok Choi,et al.  Static slicing in the presence of goto statements , 1994, TOPL.

[47]  Michael D. Ernst,et al.  Value dependence graphs: representation without taxation , 1994, POPL '94.

[48]  Nahid Shahmehri,et al.  Interprocedural dynamic slicing applied to interprocedural data flow testing , 1993, 1993 Conference on Software Maintenance.

[49]  Giuseppe Visaggio,et al.  Function recovery based on program slicing , 1993, 1993 Conference on Software Maintenance.

[50]  Jean-Francois Girard,et al.  Multi-valued constant propagation for the reengineering of user interfaces , 1993, 1993 Conference on Software Maintenance.

[51]  Gregg Rothermel,et al.  Efficient construction of program dependence graphs , 1993, ISSTA '93.

[52]  David Eichmann,et al.  Program and interface slicing for reverse engineering , 1993, [1993] Proceedings Working Conference on Reverse Engineering.

[53]  Giuseppe Visaggio,et al.  Identification and extraction of 'domain independent' components in large programs , 1993, [1993] Proceedings Working Conference on Reverse Engineering.

[54]  Thomas Ball,et al.  Slicing Programs with Arbitrary Control-flow , 1993, AADEBUG.

[55]  Susan Horwitz,et al.  Incremental program testing using program dependence graphs , 1993, POPL '93.

[56]  David W. Binkley,et al.  Precise executable interprocedural slices , 1993, LOPL.

[57]  James M. Bieman,et al.  Effects of software changes on module cohesion , 1992, Proceedings Conference on Software Maintenance 1992.

[58]  Rajiv Gupta,et al.  An approach to regression testing using slicing , 1992, Proceedings Conference on Software Maintenance 1992.

[59]  David Binkley,et al.  Using semantic differencing to reduce the cost of regression testing , 1992, Proceedings Conference on Software Maintenance 1992.

[60]  Takao Shimomura,et al.  Program Slicing Technique and Its Application to Testing, Debugging and Maintenance , 1992 .

[61]  Peter Fritzson,et al.  Interprocedural Dynamic Slicing , 1992, PLILP.

[62]  William Pugh,et al.  Eliminating false data dependences using the Omega test , 1992, PLDI '92.

[63]  Thomas W. Reps,et al.  The use of program dependence graphs in software engineering , 1992, International Conference on Software Engineering.

[64]  R. Gopal,et al.  Dynamic program slicing based on dependence relations , 1991, Proceedings. Conference on Software Maintenance 1991.

[65]  M. Platoff,et al.  An integrated program representation and toolkit for the maintenance of C programs , 1991, Proceedings. Conference on Software Maintenance 1991.

[66]  Eugene H. Spafford,et al.  Dynamic slicing in the presence of unconstrained pointers , 1991, TAV4.

[67]  Jong-Deok Choi,et al.  Techniques for debugging parallel programs with flowback analysis , 1991, TOPL.

[68]  Thomas W. Reps,et al.  Efficient comparison of program slices , 1991, Acta Informatica.

[69]  Keith Brian Gallagher,et al.  Using Program Slicing in Software Maintenance , 1991, IEEE Trans. Software Eng..

[70]  Valdis Berzins,et al.  Software merge: Models and methods for combining changes to programs , 1991, J. Syst. Integr..

[71]  Nancy G. Leveson,et al.  Safety verification of Ada programs using software fault trees , 1991, IEEE Software.

[72]  Monica S. Lam,et al.  Efficient and exact data dependence analysis , 1991, PLDI '91.

[73]  G. A. Venkatesh,et al.  The semantic approach to program slicing , 1991, PLDI '91.

[74]  Janusz W. Laski,et al.  Dynamic slicing of computer programs , 1990, J. Syst. Softw..

[75]  Joseph Robert Horgan,et al.  Dynamic program slicing , 1990, PLDI '90.

[76]  Thomas W. Reps,et al.  Algebraic Properties of Program Integration , 1990, Sci. Comput. Program..

[77]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1990, TOPL.

[78]  Alan R. Hevner,et al.  Function-theoretic principles of program understanding , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[79]  Linda M. Ott,et al.  The Relationship Between Slices And Module Cohesion , 1989, 11th International Conference on Software Engineering.

[80]  P. A. Hausler.  Denotational program slicing , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[81]  Bogdan Korel,et al.  STAD-a system for testing and debugging: user perspective , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[82]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1988, SIGP.

[83]  Thomas W. Reps,et al.  Semantics-Based Program Integration , 1988, ESOP.

[84]  Thomas W. Reps,et al.  On the adequacy of program dependence graphs for representing programs , 1988, POPL '88.

[85]  Valdis Berzins,et al.  On merging software extensions , 1986, Acta Informatica.

[86]  Mark Weiser,et al.  Experiments on slicing-based debugging aids , 1986 .

[87]  D. Friedman,et al.  The little LISPer (2nd ed.) , 1986 .

[88]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[89]  Bernard Carré,et al.  Information-flow and data-flow analysis of while-programs , 1985, TOPL.

[90]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984, SDE 1.

[91]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[92]  Mark Weiser,et al.  Reconstructing Sequential Behavior from Parallel Behavior Projections , 1983, Inf. Process. Lett..

[93]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[94]  John Banning,et al.  : An Efficient , 2022 .

[95]  Jeffrey M. Barth.  A practical interprocedural data flow analysis algorithm , 1978, CACM.

[96]  Klara Nahrstedt,et al.  A Framework for Future Internet-Based TV Broadcasting , 1974 .

[97]  Mark Harman,et al.  A survey of empirical results on program slicing , 2004, Adv. Comput..

[98]  Rajib Mall,et al.  Program Slicing , 2002, The Compiler Design Handbook, 2nd ed..

[99]  Thomas Reps,et al.  Wisconsin Program-Slicing Tool , 1997 .

[100]  David Binkley,et al.  Unravel:: a case tool to assist evaluation of high integrity software , 1995 .

[101]  F. Tip,et al.  Generation of Program Analysis Tools , 1995 .

[102]  David W. Binkley,et al.  Program integration for languages with procedure calls , 1995, TSEM.

[103]  Mariam Kamkar,et al.  Interprocedural dynamic slicing with applications to debugging and testing , 1993, Linköping studies in science and technology dissertations.

[104]  David Binkley,et al.  Slicing in the Presence of Parameter Aliasing , 1993 .

[105]  Hiralal Agrawal,et al.  Towards automatic debugging of computer programs , 1992 .

[106]  Thomas Reps,et al.  Semantics-based program integration: illustrating interference in interfering versions of programs , 1989 .

[107]  Wuu Yang,et al.  The Semantics of Program Slicing , 1988 .

[108]  Thomas W. Reps,et al.  Support for Integrating Program Variants in an Environment for Programming in the Large , 1988, SCM.

[109]  Mark David Weiser,et al.  Program slices: formal, psychological, and practical investigations of an automatic program abstraction method , 1979 .

[110]  Harlan D. Mills,et al.  Structured programming - theory and practice , 1979, The systems programming series.

[111]  H. L. Laws.  The surgeon's assistant. , 1978, Surgery, gynecology & obstetrics.

[112]  Daniel P. Friedman,et al.  The little LISPer , 1974 .