1023 search results - page 13 / 205 » A Formal Method for Program Slicing |
136
Voted
SAS
2010
Springer
15 years 4 months ago
2010
Springer
152
Voted
FORTE
2009
15 years 4 months ago
2009
118
Voted
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
176
click to vote
PLDI
2005
ACM
15 years 12 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...