ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
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
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Abstract: This paper introduces backward conditioning. Like forward conditioning (used in conditioned slicing), backward conditioning consists of specialising a program with respect to a condition inserted into the program. However, whereas forward conditioning deletes statements which are not executed when the initial state satisfies the condition, backward conditioning deletes statements which cannot cause execution to enter a state which satisfies the condition. The relationship between backward and forward conditioning is reminiscent of the relationship between backward and forward slicing. Forward conditioning addresses program comprehension questions of the form 'what happens if the program starts in a state satisfying condition c?', whereas backward conditioning addresses questions of the form 'what parts of the program could potentially lead to the program arriving in a state satisfying condition c?'. The paper illustrates the use of backward conditioning as a program comprehension assistant and presents an algorithm for constructing backward conditioned programs.