Diagnostic Reasoning in Software Fault Localization
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 29-30.
Abstract
We present a diagnostic model of software fault localization. A diagna~tiQ 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.
Robert L. Sedlmeyer, William B. Thompson, and Paul E. Johnson. 1983. Diagnostic Reasoning in Software Fault Localization. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 29–30. https://ijcai.org/proceedings/1983/6
Sedlmeyer, R. L., Thompson, W. B., & Johnson, P. E. (1983). Diagnostic Reasoning in Software Fault Localization. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 (pp. 29–30). IJCAI. https://ijcai.org/proceedings/1983/6
@inproceedings{ijcai1983p6,
title = {Diagnostic Reasoning in Software Fault Localization},
author = {Sedlmeyer, Robert L. and Thompson, William B. and Johnson, Paul E.},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {29--30},
year = {1983},
note = {Automatic Programming},
url = {https://ijcai.org/proceedings/1983/6},
}
TY - CPAPER TI - Diagnostic Reasoning in Software Fault Localization AU - Sedlmeyer, Robert L. AU - Thompson, William B. AU - Johnson, Paul E. T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 29 EP - 30 UR - https://ijcai.org/proceedings/1983/6 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
