Diagnostic reasoning in software fault localization

Authors:
Robert L. Sedlmeyer;William B. Thompson;Paul E. Johnson
Affiliations:
Department of Computer Tech., Purdue University at Fort Wayne, Indiana, and University of Minnesota;University of Minnesota;University of Minnesota
Venue:
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Year:
1983

Citing 3
Cited 1

One more time — how to update a master file

Communications of the ACM
A Computer Model of Skill Acquisition

A Computer Model of Skill Acquisition
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method

Program slices: formal, psychological, and practical investigations of an automatic program abstraction method

Program spectra analysis with theory of evidence

Advances in Software Engineering - Special issue on Software Quality Assurance Methodologies and Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a diagnostic model of software fault localization. A diagnoatic. approach to fault localization has proven effective In the domains of medicine and digital hardware. Applying this approach to the software domain requires two extensions: a heuristic abstraction mechanism which infers program function from structure using recognition and transformation tactics; and a search mechanism which integrates both prototypic and causal reasoning about faults.