Theoretical foundations of dynamic program slicing

Authors:
Dave Binkley;Sebastian Danicic;Tibor Gyimóthy;Mark Harman;Ákos Kiss;Bogdan Korel
Affiliations:
Loyola College in Maryland, Baltimore, Maryland;Goldsmiths College, University of London, New Cross, London, UK;Institute of Informatics, University of Szeged, Szeged, Hungary;King's College London, Strand, London, UK;Institute of Informatics, University of Szeged, Szeged, Hungary;Illinois Institute of Technology, Chicago, IL
Venue:
Theoretical Computer Science
Year:
2006

Citing 38
Cited 8

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Experiments on slicing-based debugging aids

Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers
Eliminating go to's while preserving program structure

Journal of the ACM (JACM)
Interprocedural slicing using dependence graphs

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Dynamic program slicing

Information Processing Letters
Integrating noninterfering versions of programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The semantics of program dependence

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic program slicing

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
The semantic approach to program slicing

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Using Program Slicing in Software Maintenance

IEEE Transactions on Software Engineering
Debugging with dynamic slicing and backtracking

Software—Practice & Experience
RECOUP—maintaining Fortran

ACM SIGPLAN Fortran Forum
Precise executable interprocedural slices

ACM Letters on Programming Languages and Systems (LOPLAS)
Program integration for languages with procedure calls

ACM Transactions on Software Engineering and Methodology (TOSEM)
A specification driven slicing process for identifying reusable functions

Journal of Software Maintenance: Research and Practice
Rule-based approach to computing module cohesion

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Program and interface slicing for reverse engineering

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Program analysis via graph reachability

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Programmers use slices when debugging

Communications of the ACM
Measuring Functional Cohesion

IEEE Transactions on Software Engineering
Equivalence of conservative, free, linear program schemas is decidable

Theoretical Computer Science
Software Salvaging Based on Conditions

ICSM '94 Proceedings of the International Conference on Software Maintenance
Interprocedural Dynamic Slicing

PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Dynamic Slicing Method for Maintenance of Large C Programs

CSMR '01 Proceedings of the Fifth European Conference on Software Maintenance and Reengineering
The program dependence graph in a software development environment

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Understanding Function Behaviors through Program Slicing

WPC '96 Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)
Dynamic Program Slicing in Understanding of Program Execution

WPC '97 Proceedings of the 5th International Workshop on Program Comprehension (WPC '97)
Amorphous Program Slicing

WPC '97 Proceedings of the 5th International Workshop on Program Comprehension (WPC '97)
Pre/Post Conditioned Slicing

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Identifying reusable functions using specification driven program slicing: a case study

ICSM '95 Proceedings of the International Conference on Software Maintenance
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method

Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
Non-Standard Semantics for Program Slicing

Higher-Order and Symbolic Computation
Amorphous program slicing

Journal of Systems and Software
Testability Transformation

IEEE Transactions on Software Engineering
CONSIT: a fully automated conditioned program slicer

Software—Practice & Experience
Formalizing Executable Dynamic and Forward Slicing

SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
ConSUS: a light-weight program conditioner

Journal of Systems and Software - Special issue: Software reverse engineering

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 graph coloring approach to slicing of object-oriented programs

Proceedings of the International Conference and Workshop on Emerging Trends in Technology
A trajectory-based strict semantics for program slicing

Theoretical Computer Science
Abstract program slicing: from theory towards an implementation

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A unifying theory of control dependence and its application to arbitrary program structures

Theoretical Computer Science
On the computational complexity of dynamic slicing problems for program schemas

Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Design and implementation of a language-complete C++ semantic graph

Proceedings of the 50th Annual Southeast Regional Conference
A vocabulary of program slicing-based techniques

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	5.23

Visualization

Abstract

This paper presents a theory of dynamic slicing, which reveals that the relationship between static and dynamic slicing is more subtle than previously thought. The definitions of dynamic slicing are formulated in terms of the projection theory of slicing. This shows that existing forms of dynamic slicing contain three orthogonal dimensions in their slicing criteria and allows for a lattice-theoretic study of the subsumption relationship between these dimensions and their relationship to static slicing formulations.