Forward slices are smaller than backward slices

Authors:
David Binkley;Mark Harman
Affiliations:
Loyola College;King's College London
Venue:
SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
Year:
2005

Citing 0
Cited 6

Empirical study of optimization techniques for massive slicing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Dependence clusters in source code

ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing the impact of global variables on program dependence and dependence clusters

Journal of Systems and Software
Slicing MATLAB simulink models

Proceedings of the 34th International Conference on Software Engineering
State-based model slicing: A survey

ACM Computing Surveys (CSUR)
Fault localization using forward slicing spectrum

Proceedings of the 2013 Research in Adaptive and Convergent Systems

Quantified Score

Hi-index	0.01

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 ...