loading...
Building Executable Union Slices using Conditioned Slicing
Bari, Italy June 24-June 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WPC.2004.131105112th IEEE International Workshop on P ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sebastian Danicic, University of London, UK
Andrea De Lucia, University of Salerno, Italy
Mark Harman, Brunel University, UK
Program slicing can be used as a support for program comprehension, because it allows a large program to be divided up into smaller slices, each of which can be understood in isolation from the rest. As such, slicing facilitates the familiar approach of 'divide and conquer'.
Union slicing (the union of dynamic slices) is a useful technique for approximating a precise static slice. For program comprehension (and many other applications) it is often important that the union slice be an executable program, rather than merely a collection of statements which are relevant to the slicing criterion.
This paper presents an algorithm for computing executable union slices, using conditioned slicing. A case study is used to illustrate the algorithm and how the executable union slice is preferable to the (possibly non executable) union slice. The paper also shows, briefly, that the approach has wider applications than comprehension.
Citation:
Sebastian Danicic, Andrea De Lucia, Mark Harman, "Building Executable Union Slices using Conditioned Slicing," icpc, pp.89, 12th IEEE International Workshop on Program Comprehension (IWPC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.