This thesis describes a new approach to declarative debugging (error diagnosis) of logic programs. The main contributions are: • “Declarative source debugging”, a new approach requiring less queries from the user. • Improved algorithms for classical “declarative execution debugging”. • Support for Prolog impurities, such as cuts and side-effects. • The use of suspect trees, allowing uniform tre...

This paper proposes a model for analyzing the reading strategies in software debugging. The model provides quantitative and objective visions to a human’s debugging activity, and provides the framework for clarifying goodand/or bad-strategies for program reading. We have conducted a case study to observe the debugging processes under a controlled environment. The observation includes: Both novi...

Integrated Development Environments (IDEs) generate multiple graphical and textual representations of programs. Co-ordination of these representations during program comprehension and debugging can be a complex task. In order to better understand the role and effectiveness of multiple representations, and to design better IDE interfaces in future, we conducted an empirical study of java program...

Algorithmic Debugging is a method for semi-automatic program debugging, where the debugger incrementally acquires knowledge about the debugged program by interacting with the user. However, a major obstacle that prevents large-scale use of the method is the large number of questions (sometimes hard to answer) put to the user. One important improvement would be to provide a graphical user interf...

The growth of parallel computers has led to a large number of debugging systems being developed for their users. Debuggers are useful in enhancing program performance as well as correctness. It is now noticeable that the increasing size of the parallel machines, and the use of a variety of abstractions by programmers, require new tools for eeective debugging. The LERP de-bugger under developmen...

UFO is a new application framework in which programs written in FORMAN, a declarative assertion language, are compiled into execution monitors that run on a virtual machine with extensive monitoring capabilities provided by the Alamo monitor architecture. FORMAN provides an event trace model in which precedence and inclusion relations define a DAG structure that abstracts execution behavior. Co...

Due to the increased complexity of parallel and distributed programs, debugging of them is considered to be the most difficult and time consuming part of the software lifecycle. Tool support is hence a crucial necessity to hide complexity from the user. However, most existing tools seem inadequate as soon as the program under consideration exploits more than a few processors over a long executi...

For real-time programs reproducing a bug by rerunning the system is likely to fail, making fault localization a time-consuming process. Omniscient debugging is a technique that stores each run in such a way that it supports going backwards in time. However, the overhead of existing omniscient debugging implementations for languages like Java is so large that it cannot be effectively used in pra...

CHILL is a concurrent programming language, especially for implementing telecommunications software. ETRI has used the language for the development of switching software. Generally, switching software is characterized by real-time execution, parallel and distributed processing, large scale source code, and high complexity. The software is also developed on cross development environments. In thi...

Cinquecento is a new functional language designed for debugging and other analysis of software systems comprised of concurrently running C programs. The key innovations of Cinquecento are a first-class abstraction that can represent a C program in execution, a C-based syntactic interface to this abstraction, and language mechanisms for tailoring new instances of the abstraction to unanticipated...