Traces of program executions are a helpful source of information for program debugging.
They, however, give a picture of program executions at such a low level that users often …

Much of what we know about testing technology does indeed apply to object-oriented
systems. However, object-orientation brings with it, its own specialized set of concerns …

~:~ ~.-~ .~ ~ Page 1 o 0 Z 0 Z Z 0 0 ray 0 .£ ~o .~ ~ ~ u 8~ ~g ~z 0 0",I ~ oo "~ o ~ ~ ~ ~.~ ~ ~ ~.~
~ ~ .o .~, ~o~ ~ - o . 0 bO 0 ~ m ~ ._ . 0 0 ~:~ ~.-~ . bO 0 .~ ~ ~, "~, bO ~ "0 = "- Z "~0 ~ ~ ~ 0.-2 …

We present a general trace query language which is a solution to the ever growing
command sets of other tracers. It provides all the required generality while being very simple …

Various kinds of program debugging techniques have been developed, and they can be
classified into the following five categories. Breakpoint Method. With symbolic debuggers …

Sof2ware debugging in hardware simulation environments is often inconvenient and
extremely slow. The BackC method described in this paper allows one to reproduce …

Introspection or the ability to observe one''s own behavior is one of the most powerful
capabilities of human intelligence; it is the basis for understanding and improvement of …

This paper is an overview of the main results presented in the author's Ph. D. thesis [dS92].
In this paper we study the use of semantics-based formal methods in the specification and …

Petascale computers and computing systems have the potential to solve large-scale,
dataintensive problems in science and engineering. Petascale scientific applications, such …

The art of computer programming has flourished over the last forty years. The industry has
progressed from machine language through object oriented automatic code generation …