TY - GEN
T1 - The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles
AU - Wotawa, Franz
AU - Dumitru, Vlad Andrei
N1 - Funding Information:
Acknowledgements. ArchitectECA2030 receives funding within the Electronic Components and Systems For European Leadership Joint Undertaking (ESCEL JU) in collaboration with the European Union’s Horizon2020 Framework Programme and National Authorities, under grant agreement number 877539. All ArchitectECA2030 related communication reflects only the author’s view and the Agency and the Commission are not responsible for any use that may be made of the information it contains. The work was partially funded by the Austrian Federal Ministry of Climate Action, Environment, Energy, Mobility, Innovation and Technology (BMK) under the program “ICT of the Future” project 877587.
Funding Information:
ArchitectECA2030 receives funding within the Electronic Components and Systems For European Leadership Joint Undertaking (ESCEL JU) in collaboration with the European Union’s Horizon2020 Framework Programme and National Authorities, under grant agreement number 877539. All ArchitectECA2030 related communication reflects only the author’s view and the Agency and the Commission are not responsible for any use that may be made of the information it contains. The work was partially funded by the Austrian Federal Ministry of Climate Action, Environment, Energy, Mobility, Innovation and Technology (BMK) under the program “ICT of the Future” project 877587.
Publisher Copyright:
© 2022, Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - Localizing faults in programs and repairing them is considered a difficult, time-consuming, but necessary activity of software engineering to assure programs fulfilling their expected behavior during operation. In this paper, we introduce the Java2CSP debugging tool implementing the principles of model-based diagnosis for fault localization, which can be accessed over the internet using an ordinary web browser. Java2CSP makes use of a constraint representation of a program together with a failing test case for reporting debugging candidates. The tool supports a non-object-oriented subset of the programming language Java. Java2CSP is not supposed to be used in any production environment. Instead, the tool has been developed for providing a prototypical implementation of a debugger using constraints. We present the underlying foundations behind Java2CSP, discuss some preliminary results, and show how the tool can also be used for test case generation and other applications.
AB - Localizing faults in programs and repairing them is considered a difficult, time-consuming, but necessary activity of software engineering to assure programs fulfilling their expected behavior during operation. In this paper, we introduce the Java2CSP debugging tool implementing the principles of model-based diagnosis for fault localization, which can be accessed over the internet using an ordinary web browser. Java2CSP makes use of a constraint representation of a program together with a failing test case for reporting debugging candidates. The tool supports a non-object-oriented subset of the programming language Java. Java2CSP is not supposed to be used in any production environment. Instead, the tool has been developed for providing a prototypical implementation of a debugger using constraints. We present the underlying foundations behind Java2CSP, discuss some preliminary results, and show how the tool can also be used for test case generation and other applications.
KW - Application of constraint solving
KW - Automated debugging
KW - Debugging research web tool
UR - http://www.scopus.com/inward/record.url?scp=85138008560&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-08530-7_46
DO - 10.1007/978-3-031-08530-7_46
M3 - Conference paper
AN - SCOPUS:85138008560
SN - 9783031085291
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 543
EP - 554
BT - Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Proceedings
A2 - Fujita, Hamido
A2 - Fournier-Viger, Philippe
A2 - Ali, Moonis
A2 - Wang, Yinglin
PB - Springer
CY - Cham
T2 - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems
Y2 - 19 July 2022 through 22 July 2022
ER -