Options
Diagnosing Algorithms by Abduction from Manual Simulation
Bayerkuhnlein, Moritz; Wolter, Diedrich (2025): Diagnosing Algorithms by Abduction from Manual Simulation, in: Ute Schmid, Jochen L. Leidner, Michael Kohlhase, u. a. (Hrsg.), Proceedings of the Second Work shop on Artificial Intelligence for Artificial Intelligence Education (AI4AI Learning 2024), Bamberg: University of Bamberg Press, S. 49–58, doi: 10.20378/irb-108887.
Faculty/Chair:
Author:
Title of the compilation:
Proceedings of the Second Work shop on Artificial Intelligence for Artificial Intelligence Education (AI4AI Learning 2024)
Conference:
Second Workshop on Artificial Intelligence for Artificial Intelligence Education (AI4AI Learning 2024) ; Würzburg
Publisher Information:
Year of publication:
2025
Pages:
ISBN:
978-3-98989-054-1
Language:
English
DOI:
Abstract:
Taking a conceptual idea and turning it into a precise algorithm is at the heart of computational thinking. However, novice programmers often struggle when their code does not behave as they intended. This paper identifies problems in pseudocode algorithms based on deviations from observations that could be gathered during manual simulations by the programmer. By applying model-based diagnosis to the faulty pseudocode, informed by manual simulation, we locate errors and suggest fixes. The diagnosis results in the identification of a specific location in the algorithm and provides an output description for the faulty part that matches the programmer's intent during the manual simulation, thus aiding in debugging.
GND Keywords: ;  ; 
Algorithmus
Diagnose
Simulation
Keywords:
-
DDC Classification:
RVK Classification:
Type:
Conferenceobject
Activation date:
July 11, 2025
Permalink
https://fis.uni-bamberg.de/handle/uniba/108887