Minimal slicing and the relationships between forms of slicing

Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different slicing techniques. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences between slicing techniques, a formal mechanism is required. This paper establishes a formal mechanism for comparing slicing techniques using a theory of program projection. Sets of minimal slices, which form the ideal for any slicing algorithm, are used to reveal the ordering relationship between various static and dynamic slicing techniques.

Original languageEnglish
Title of host publicationProceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005
Pages45-54
Number of pages10
DOIs
Publication statusPublished - Dec 1 2005
EventProceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005 - Budapest, Hungary
Duration: Sep 30 2005Oct 1 2005

Publication series

NameProceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005

Other

OtherProceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005
CountryHungary
CityBudapest
Period9/30/0510/1/05

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Binkley, D., Danicic, S., Gyimóthy, T., Harman, M., Kiss, Á., & Korel, B. (2005). Minimal slicing and the relationships between forms of slicing. In Proceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005 (pp. 45-54). [1541157] (Proceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005). https://doi.org/10.1109/SCAM.2005.18