Diagnosing Java programs with static abstractions of data structures

Authors:
Rong Chen;Daniel Koeb;Franz Wotawa
Affiliations:
Technische Universitaet Graz, Institute for Software Technology, Graz, Inffeldgasse, Austria and Institute of Software Research, Zhongshan University, Xingangxilu, Guangzhou, China;Technische Universitaet Graz, Institute for Software Technology, Graz, Inffeldgasse, Austria;Technische Universitaet Graz, Institute for Software Technology, Graz, Inffeldgasse, Austria
Venue:
Intelligent information processing II
Year:
2004

Citing 2
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based software debugging helps users to find program errors and thus to reduce the overall costs for software development. In this paper, we extend our previous work to diagnose common data structure errors. The proposed logical program model derives from a collection of indexed object relations, which capture the underlying data structures at the abstraction level of objects. A case study suggests that the counterexample with the diagnoses can help the user to understand the nature of program errors and thus speed up error correction.