Minimal Slicing and the Relationships Between Forms of Slicing

Authors:
Dave Binkley;Sebastian Danicic;Tibor Gyimothy;Mark Harman;Akos Kiss;Bogdan Korel
Affiliations:
Loyola College;University of London;University of Szeged;King's College London;University of Szeged;Illinois Institute of Technology
Venue:
SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
Year:
2005

Citing 0
Cited 3

A formalisation of the relationship between forms of program slicing

Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
A trajectory-based strict semantics for program slicing

Theoretical Computer Science
A unifying theory of control dependence and its application to arbitrary program structures

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a new approach to program slicing based on abstract interpretation and model checking. First, the notion of abstract slicing is introduced. Abstract slicing extends static slicing with predicates and constraints by using as the program ...