nAIT: A source analysis and instrumentation framework for nesC
Journal of Systems and Software
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. ...