TY - GEN
T1 - Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging
AU - Wotawa, Franz
AU - Dumitru, Vlad Andrei
N1 - Funding Information:
Acknowledgements The financial support by the Austrian Federal Ministry for Digital and Economic Affairs, the National Foundation for Research, Technology and Development and the Christian Doppler Research Association is gratefully acknowledged.
Publisher Copyright:
© 2021, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
PY - 2021
Y1 - 2021
N2 - Model-based reasoning has been an active research area for several decades providing foundations for fault detection, localization, and repair not only in the context of system and hardware diagnosis but also in localizing software bugs. Java2CSP allows for mapping Java-like programs into a corresponding constraint representation. The constraint representation makes use of a health state variable indicating whether a certain statement is correct or faulty. A constraint solver can be used for computing diagnoses for a given failing test case. In this paper, we present the tool and also show how more classical diagnosis problems can be directly mapped to their program representation, which allows to use Java2CSP in different settings, including teaching model-based diagnosis.
AB - Model-based reasoning has been an active research area for several decades providing foundations for fault detection, localization, and repair not only in the context of system and hardware diagnosis but also in localizing software bugs. Java2CSP allows for mapping Java-like programs into a corresponding constraint representation. The constraint representation makes use of a health state variable indicating whether a certain statement is correct or faulty. A constraint solver can be used for computing diagnoses for a given failing test case. In this paper, we present the tool and also show how more classical diagnosis problems can be directly mapped to their program representation, which allows to use Java2CSP in different settings, including teaching model-based diagnosis.
KW - Automated software debugging
KW - Debugging tool
KW - Model-based diagnosis
UR - http://www.scopus.com/inward/record.url?scp=85112031060&partnerID=8YFLogxK
U2 - 10.1007/978-981-16-2765-1_43
DO - 10.1007/978-981-16-2765-1_43
M3 - Conference paper
AN - SCOPUS:85112031060
SN - 9789811627644
T3 - Smart Innovation, Systems and Technologies
SP - 519
EP - 529
BT - Intelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference
A2 - Czarnowski, Ireneusz
A2 - Howlett, Robert J.
A2 - Jain, Lakhmi C.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 13th International KES Conference on Intelligent Decision Technologies, KES-IDT 2021
Y2 - 14 June 2021 through 16 June 2021
ER -