1448 search results - page 29 / 290 » Visualizing Program Slices |
143
click to vote
CMIG
2011
14 years 6 months ago
2011
In this paper, a method is described to automatically estimate the visible body region of a computed tomography (CT) volume image. In order to quantify the body region, a body coo...
113
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
We present an improved slicing algorithm for Java. The best algorithm known so far, first presented in [11], is not always precise if nested objects are used as actual parameters...
110
Voted
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
We report a method for semi-automated segmentation of extended features such as filamentous structures in electron tomograms. We present an application of this method for the auto...
105
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
132
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...