56 search results - page 1 / 12 » Localizing Program Errors via Slicing and Reasoning |
HASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
PPDP
1999
Springer
13 years 8 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
ICSM
2008
IEEE
13 years 10 months ago
2008
IEEE
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
ICIP
2006
IEEE
14 years 6 months ago
2006
IEEE
In this paper we propose a method for video delivery over bit error channels. In particular, we propose a rate distortion optimal method for slicing and unequal error protection (...
CC
2005
Springer
13 years 9 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...