A vocabulary of program slicing-based techniques

Authors:
Josep Silva
Affiliations:
Universitat Politècnica de València, Valencia, Spain
Venue:
ACM Computing Surveys (CSUR)
Year:
2012

Citing 63
Cited 5

Information-flow and data-flow analysis of while-programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Illustrating interference in interfering versions of programs

SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
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
Towards automatic debugging of computer programs

Towards automatic debugging of computer programs
Automated support for legacy code understanding

Communications of the ACM
Interface slicing: a static program analysis tool for software engineering

Interface slicing: a static program analysis tool for software engineering
Parametric program slicing

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hybrid slicing: an approach for refining static slices using dynamic information

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Precise interprocedural chopping

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Slicing object-oriented software

Proceedings of the 18th international conference on Software engineering
An introduction to partial evaluation

ACM Computing Surveys (CSUR)
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
Static slicing of threaded programs

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Call-mark slicing: an efficient and economical way of reducing slice

Proceedings of the 21st international conference on Software engineering
An efficient relevant slicing method for debugging

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Slicing concurrent programs

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
On optimal slicing of parallel programs

STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Theory of Program Structures: Schemes, Semantics, Verification

Theory of Program Structures: Schemes, Semantics, Verification
Dependence graphs and compiler optimizations

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Correct Program Slicing of Database Operations

IEEE Software
Software Salvaging Based on Conditions

ICSM '94 Proceedings of the International Conference on Software Maintenance
Dynamic Program Dicing

ICSM '93 Proceedings of the Conference on Software Maintenance
Incremental Regression Testing

ICSM '93 Proceedings of the Conference on Software Maintenance
Program Slicing via FermaT Transformations

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Tracing Lazy Functional Computations Using Redex Trails

PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Slicing Concurrent Programs - A Graph-Theoretical Approach

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
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)
Amorphous Program Slicing

WPC '97 Proceedings of the 5th International Workshop on Program Comprehension (WPC '97)
Incremental Slicing Based on Data-Dependences Types

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Pre/Post Conditioned Slicing

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Slicing Aspect-Oriented Software

IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information

IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
Chopping: A Generalization of Slicing

Chopping: A Generalization of Slicing
Unions of Slices Are Not Slices

CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
Union Slices for Program Maintenance

ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Effects of Pointers on Data Dependences

IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension

IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
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
Context-sensitive slicing of concurrent programs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Non-Standard Semantics for Program Slicing

Higher-Order and Symbolic Computation
Slicing, Chopping, and Path Conditions with Barriers

Software Quality Control
Program Slicing in the Presence of a Database State

ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
Some Notes on Interprocedural Program Slicing

SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
Formalizing Executable Dynamic and Forward Slicing

SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes
Path slicing

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking

SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
A formalisation of the relationship between forms of program slicing

Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Theoretical foundations of dynamic program slicing

Theoretical Computer Science
Stop-List Slicing

SCAM '06 Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas

The Computer Journal
Slicing as a program transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Thin slicing

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
An Evaluation of Slicing Algorithms for Concurrent Programs

SCAM '07 Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation
Program Slicing

IEEE Transactions on Software Engineering

Slicing MATLAB simulink models

Proceedings of the 34th International Conference on Software Engineering
Precise explanation of success typing errors

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
State-based model slicing: A survey

ACM Computing Surveys (CSUR)
Cloud engineering is Search Based Software Engineering too

Journal of Systems and Software
Architectural slicing: towards automatic harvesting of architectural prototypes

ECSA'13 Proceedings of the 7th European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article surveys previous work on program slicing-based techniques. For each technique, we describe its features, its main applications, and a common example of slicing using such a technique. After discussing each technique separately, all of them are compared in order to clarify and establish the relations between them. This comparison gives rise to a classification of techniques which can help to guide future research directions in this field.