773 search results - page 28 / 155 » Program Slicing by Calculation |
BIOINFORMATICS
2004
15 years 13 days ago
2004
99
Voted
AMAST
2010
Springer
14 years 7 months ago
2010
Springer
92
Voted
PASTE
2004
ACM
15 years 6 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...
PLDI
2005
ACM
15 years 6 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...
121
Voted
CADE
2010
Springer
15 years 1 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...