540 search results - page 8 / 108 » Mathematical programming based debugging |
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
ISCA
2005
IEEE
15 years 3 months ago
2005
IEEE
Significant time is spent by companies trying to reproduce and fix the bugs that occur for released code. To assist developers, we propose the BugNet architecture to continuousl...
AAAI
2010
14 years 11 months ago
2010
In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first ...
106
click to vote
IFIP12
2004
14 years 11 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...