This paper presents a new approach to using music for debugging computer code, layered program auralization. We use layers of musical structure to represent the state and behavior of a computer program while it is running, taking advantage of metaphorical relationships between musical structure and programming constructs. This paper makes three contributions to the debugging and program auraliz...

Automatic debugging is examined in the context of compiler correctness. A system is described whose goal is to prove the correctness of translations involving heuristically optimized code. Use of the system in automatically pinpointing errors is demonstrated along with a discussion of the prospects -~-----of automatic debugging of a complex program that was incorrectly translated. The actual de...

I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions I present the main ideas required for developing e cient algorithms for observation Algorithms for control are useful in debuggi...

Visualizations of program execution are useful for debugging the complex behavior of parallel programs. However, the eeectiveness of the visualizations is limited by how well their representations match the programmer's conceptual model of the expected program behavior. In this paper, we show that the LOTOS speciication of a parallel program may be used to model expected behavior in the visuali...

This thesis focuses on debugging using program spectra. Program spectra captures the dynamic behaviour of a program indicating which program statements are executed by respective test cases, which include pass and fail cases. By using this information, we use functions to rank all statements to locate bugs. Statements ranked top of the ranking are more likely to be buggy. We refer to these func...

Horn clauses provide a useful framework for writing executable structural representations for digital circuits. This paper discusses how these representations can be used to diagnose faulty circuits using algorithmic program debugging techniques developed by Shapiro. The sound theoretical basis of these techniques is one of the major advantages of this approach. This framework also provides a n...

One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and identify faults. Therefore, reducing the effort of debugging process is an important step towards efficient software evolution. Program slicing, especially dynamic slicing, has been proposed to efficiently localize faults ...

This thesis is about the design and implementation of a debugging tool which helps Haskell programmers understand why their programs do not work as intended. The traditional debugging technique of examining the program execution step-by-step, popular with imperative languages, is less suitable for Haskell because its unorthodox evaluation strategy is difficult to relate to the structure of the ...

I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions I present the main ideas required for developing e cient algorithms for observation Algorithms for control are useful in debuggi...