AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
ASPDAC
2010
ACM
13 years 6 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
ENTCS
2002
13 years 8 months ago
2002
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
ENTCS
2007
13 years 8 months ago
2007
The need for backward execution in debuggers has been raised a number of times. Backward execution helps a user naturally think backwards and, in turn, easily locate the cause of ...
USENIX
1990
13 years 9 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
AADEBUG
2005
Springer
13 years 10 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
HASKELL
2007
ACM
14 years 12 days ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
ICPP
1993
IEEE
14 years 19 days ago
1993
IEEE
: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simplifies the problem of concurrent debugging....
AADEBUG
1997
Springer
14 years 21 days ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...