This paper investigates the interplay between high level debugging strategies and low level tactics in the context of a multirepresentation software development environment (SDE). It investigates three questions. 1. How do programmers integrate debugging strategies and tactics when working with SDEs? 2. What is the relationship between verbal ability, level of graphical literacy and debugging (...

This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events-precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is d...

This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. The approach is non-intrusive with respect to program source code and provides a high level of abstraction for debugging activities.ion for debugging activities.

The LERP debugger is a design for an ex-tensible debugging tool for a large array processor. It is extensible in addressing debugging in terms of program-mer's abstractions and paradigms. It includes tools to aid the user to be selective in debugging large numbers of processes .

This article proposes a structuring view of the area of automated debugging. Nineteen automated debugging systems are analyzed. Thirteen existing automated debugging techniques are brieey evaluated from a pragmatic point of view. The three underlying strategies are identiied, namely veriication with respect to speciication, checking with respect to language knowledge and ltering with respect to...

This paper presents a logic based approach to debugging Java programs. In contrast with traditional debugging we propose a debugging methodology for Java programs using logical queries on individual execution states and also over the history of execution. These queries were arrived at by a systematic study of errors in object-oriented programs in our earlier research. We represent the salient e...

Debugging is a core skill required by programmers, yet we know little about how to effectively teach the process of debugging. The challenges learning debugging are compounded for novices who lack experience and still tools they need program effectively. In this work, report case study in which used think-aloud protocol gain insight into behaviour three students engaged tasks. Our qualitative a...

Programming has provided a rich domain for Artificial Intelligence in Education and many systems have been developed to advise students about the bugs in their programs, either during program development or post-hoc. Surprisingly few systems have been developed specifically to teach debugging. Learning environment builders have assumed that either the student will be taught these elsewhere or t...

1. Introduction Program slicing is a technique for simplifying programs by focusing on selected aspects of semantics. The process of slicing deletes those parts of the program which can be determined to have no effect upon the semantics of interest. Slicing has applications in testing and debugging, re−engineering, program comprehension and software measurement. For example, in debugging, there...

The complexity of lazy evaluation forbids classic debugging techniques like a simple step-by-step representation of the buggy program run. Therefore, most sophisticated tools for searching bugs in lazy functional programs try to display the run as if the program’s underlying semantics was strict. In order to provide such a strict representation current approaches gather much information about t...