KIT | KIT-Bibliothek | Impressum | Datenschutz

Unions of Slices are not Slices

De Lucia, Andrea; Harman, Mark; Hierons, Rob; Krinke, Jens


Many approaches to slicing rely upon the `fact' that the union of two static slices is a valid slice. It is known that static slices constructed using program dependence graph algorithms are valid slices. However, this is not true for other forms of slicing. For example, it has been established that the union of two dynamic slices is not necessarily a valid dynamic slice. In this paper this result is extended to show that the union of two static slices is not necessarily a valid slice, based on Weiser's definition of a (static) slice. We also analyse the properties that make the union of different forms of slices a valid slice.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2003
Sprache Englisch
Identifikator ISBN: 0-7695-1902-4
KITopen-ID: 1000017645
Erschienen in Proceedings / Seventh European Conference on Software Maintenance and Reengineering, 26 - 28 March 2003, Benevento, Italy. Ed.: G. Canfora
Verlag IEEE Computer Society
Seiten 363 - 367
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page