As
most parallel and distributed programs are internally
non-deterministic-- consecutive runs with the same input might result
in a differentprogram flow -- vanilla cyclic debugging techniques as
such are useless. Inorder to use cyclic debugging tools, we need a tool
that records informationabout an execution so that it can be
...Conference: Automated and Algorithmic Debugging - AADEBUG
A
program fails. Under which circumstances does this failureoccur? One
single algorithm, the delta debugging algorithm,suffices to determine
these failure-inducing circumstances. Delta debugging tests a program
systematically andautomatically to isolate failure-inducing
circumstances suchas the program input, changes to the program code, or
executedstatements.Keywords: Testing and debugging, ...Conference:
Automated and Algorithmic Debugging - AADEBUG
This
paper presents a practical solution for detecting data races in
parallel programs. The solution consists of a combination of execution
replay (RecPlay) with automatic on-the-fly data race detection. This
combination enables us to perform the data race detection on an
unaltered execution (almost no probe effect). Furthermore,
...Conference: Automated and Algorithmic Debugging - AADEBUG
.
Program errors are hard to find because of the cause-effect gap
between the timewhen an error occurs and the time when the error
becomes apparent to the programmer.Although debugging techniques such
as conditional and data breakpoints help to find errorcauses in simple
cases, they fail to effectively bridge ...Conference: Automated and
Algorithmic Debugging - AADEBUG
Correctness
constraints provide a foundation for automated debugging
within object-orientedsystems. This paper discusses a new approach to
incorporating correctness constraints into Javadevelopment
environments. Our approach uses the Object Constraint Language ("OCL")
as aspecification language and the Java Debug Interface ("JDI") as a
verification API. OCL ...Conference: Automated and Algorithmic
Debugging - AADEBUG
This
paper shows the debugging facilities provided by the SLAM system.
The SLAM systemincludes i) a specification language that integrates
algebraic specifications and model-basedspecifications using the object
oriented model. Class operations are defined by using rules eachof them
with logical pre and post-conditions but with a functional flavour.
...Conference: Automated and Algorithmic Debugging - AADEBUG
Although
attribute grammars are commonly used for compiler
construction, little investigation has been conducted on debugging
attribute grammars. The paper proposes two types of systematic
debugging methods, an algorithmic debugging and slice-based debugging,
both tailored for attribute grammars. By means of query-based
interaction with the developer, our debugging ...Conference: Automated
and Algorithmic Debugging - AADEBUG
Debugging
of large software systems consisting of many processes
accessing shared resources is a very difficult task. Manycommercial
systems record essential events during system execution for post-mortem
analysis. However, the event traces oflarge and long-running systems
can be quite voluminous. Analysis of such event traces to identify
sources ...Conference: Automated and Algorithmic Debugging - AADEBUG
