Operator Component Matrix Model for IMP Program Diagnosis
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 354-358.
Abstract
This paper presents a new modeling approach for IMP programs with operator component matrix(OCM) model, which can be used in IMP program diagnosis. Using this model and model-based diagnosis method, some logic errors can be found in IMP programs. The model can also be extended to all kinds of imperative programs. The advantages of this diagnosis method lie in its simple and regular presentation, uniform diagnosed objects, usage of isomorphism assumptions in structure, and usage of assertions about the expected program. These advantages make diagnoses more accurate, and even help to correct the faults by mutation of operator components.
@inproceedings{ijcai2007p55,
title = {Operator Component Matrix Model for IMP Program Diagnosis},
author = {Fan, Zhao-Fu and Jiang, Yunfei},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {354--358},
year = {2007},
url = {https://ijcai.org/proceedings/2007/55},
}
TY - CPAPER TI - Operator Component Matrix Model for IMP Program Diagnosis AU - Fan, Zhao-Fu AU - Jiang, Yunfei T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 354 EP - 358 UR - https://ijcai.org/proceedings/2007/55 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
