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