An Extensible System for Source Code Analysis
IEEE Transactions on Software Engineering
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
An empirical study of predicate dependence levels and trends
Proceedings of the 25th International Conference on Software Engineering
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Journal of Systems and Software
Syntax-Directed Amorphous Slicing
Automated Software Engineering
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
Slicing, Chopping, and Path Conditions with Barriers
Software Quality Control
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
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)
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Theoretical Computer Science
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Journal of Systems and Software
Program slicing under UML scenario models
ACM SIGPLAN Notices
Locating dependence structures using search-based slicing
Information and Software Technology
DeXteR: an extensible framework for declarative parameter passing in distributed object systems
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Slicing for architectural analysis
Science of Computer Programming
Expressive and Extensible Parameter Passing for Distributed Object Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the computational complexity of dynamic slicing problems for program schemas
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
On the impact of trace-based feature location in the performance of software maintainers
Journal of Systems and Software
| Hi-index | 0.01 |
We present conditioned slicing as a general slicing framework for program comprehension. A conditioned slice consists of a subset of program statements which preserves the behavior of the original program with respect to a set of program executions. The set of initial states of the program that characterize these executions is specified in terms of a first order logic formula on the input variables of the program. Conditioned slicing allows a better decomposition of the program giving the maintainer the possibility to analyze code fragments with respect to different perspectives. We also show how slices produced with traditional slicing methods can be reduced to conditioned slices. Conditioned slices can be identified by using symbolic execution techniques and dependence graphs.