To increase program modularity, new programming paradigms, such as aspectoriented programming, context-oriented programming, and predicated dispatching, have been researched in recent years. The new-paradigm languages allow changing behavior according to various kinds of contexts at the call sites. A recent statistics shows that at least 66% of skilled engineers world-wide, courses and third pa...

In debugging processes breakpoints are frequently used to inspect and understand the run-time program behavior. Although modern development environments provide convenient breakpoint utilities, it mostly requires considerable human effort to create useful breakpoints. Before setting a breakpoint or typing a breakpoint condition, developers usually have to make some judgements and hypotheses bas...

To facilitate the process of tracking program bug symptoms to their causes while debugging, we have developed a robust architecture for program tracing and replay. rdb is a framework for program instrumentation which modiies user programs to perform complete and highly eecient tracing of an execution including interactions with the operating system and asynchronous interrupts. We have developed...

While we strive to create robust language constructs and design patterns which prevent the introduction of faults during software development, an inevitable element of human error still remains. We must therefore endeavor to ease and accelerate the process of diagnosing and fixing software faults, commonly known as debugging. Current support for debugging occam-π programs is fairly limited. At ...

[1] B. Hofer, and F. Wotawa: „Mutation-based spreadsheet debugging.“ International Workshop on Program Debugging (IWPD) – ISSRE (Supplemental Proceedings) , pp. 132–137, 2013. [2] R. Abraham, and M. Erwig: “GoalDebug: A spreadsheet debugger for end users”, International Conference on Software Engineering (ICSE ’07 Proceedings), pp. 251–260, 2007. [3] M. Nica, S. Nica, and F. Wotawa: “On the use...

Now that OWL is a W3C Recommendation, one can expect that a much wider community of users and developers will be exposed to the expressive description logic SHIF(D) and SHOIN(D) which are the basis of OWL-DL. These users and developers are likely not to have a lot of experience with knowledge representation (KR), much less logic-based KR, much less description logic based KR. For such people, h...

Java program debugging was investigated in computer science students who used a software debugging environment (SDE) that provided concurrently displayed, adjacent, multiple and linked representations consisting of the program code, a visualisation of the program, and its output. The aim of this investigation was to address questions such as ‘To what extent do programmers use each type of repre...

Program slicing is a well-known technique that has been widely used for debugging in the context of imperative programming. Debugging is a particularly difficult task within lazy declarative programming. In particular, there exist very few approaches to program slicing in this context. In this paper, we describe a slicing tool for firstorder lazy functional logic languages. We also illustrate i...

During program development and debugging, several tools may be used which deal with (approximations of the) program semantics in one way or the other. Examples of such tools are automatic validation tools, declarative debuggers, program analyzers, etc. These tools also have in common that the semantics of the current program and the semantics of the intended program are often compared. In this ...

In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first step towards a theoretical exploration of program debugging algorithms. The starting point of our work is the recent debugging approach based on predicate switching. The idea is to switch the outcome of an instance of ...