A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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. ...