1023 search results - page 13 / 205 » A Formal Method for Program Slicing |
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
SAS
2010
Springer
15 years 1 months ago
2010
Springer
SIGADA
1999
Springer
15 years 7 months ago
1999
Springer
110
Voted
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...