Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P . In this paper, we propose to restrict our attention to the subset of that behavior at P affected by o...

Lee, Jae-Woo Ph.D., Purdue University, December 2013. Ant: A Framework for Increasing the Efficiency of Sequential Debugging Techniques with Parallel Programs. Major Professor: Samuel P. Midkiff. Bugs in sequential programs cost the software industry billions of dollars in lost productivity each year. Even if simple parallel programming models are created, they will not reduce the level of sequ...

A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of...

This paper proposes a methodology for the study of program comprehension and debugging through the capture and analysis of rich process data. A software debugging environment with enhanced functionality is used to capture these data and a mixture of qualitative and quantitative approaches is employed to analyse them. The functionality added to the software debugging environment allows it to rec...

A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of...

Domain-specific languages (DSLs) assist a software developer (or even an end-user) in writing a program using idioms that are closer to the abstractions found in a specific problem domain. Tool support for DSLs is lacking, however, when compared to the capabilities provided for standard general purpose languages (e.g., support for debugging a program written in a DSL is often non-existent). Thi...

We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging. This is well-represented in the "Debug Adapter Protocol", widely-used and generic technology to integrate debugging programs development environments. Commands like step-forward step-in are backed by steps symbolic structural operational semantics, different paths through ...

Debuggers are critical tools for the software development. The design and implementation of a source-level debugging system that enables the HPF programmer to observe the behavior of the program at the level at which the program has been developed presents unique challenges. The main requirement put on an HPF de-bugger is to observe and control the state of many processors, to summarize and pre...

A debugging oracle is a decisionmaker during a debugging process. Threemajor decisions during typical debugging sessions are on the identities, the locations, and the repairs of faults. A programmer usually acts as a debugging oracle. Our research objective is to help him in his decision-making process with a debugging oracle assistant. To enhance our understanding of both the debugging oracle ...