Sciweavers

Share
61 search results - page 1 / 13
» Localizing Program Errors via Slicing and Reasoning
Sort
View
HASE
2008
IEEE
9 years 9 months ago
Localizing Program Errors via Slicing and Reasoning
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....
Fei Pu, Yan Zhang
PPDP
1999
Springer
9 years 6 months ago
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
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...
Ulrich Neumerkel, Frédéric Mesnard
ICSM
2008
IEEE
9 years 9 months ago
Dynamic slicing of multithreaded programs for race detection
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...
Sriraman Tallam, Chen Tian, Rajiv Gupta
ICIP
2006
IEEE
10 years 4 months ago
Rate-Distortion Optimal Video Transport Over IP with Bit Errors
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 (...
Oztan Harmanci, A. Murat Tekalp
FM
2009
Springer
124views Formal Methods» more  FM 2009»
9 years 9 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
books