Eberlein, MartinSmytzek, MariusSteinhöfel, DominicGrunske, LarsZeller, AndreasRabiser, RickWimmer, ManuelGroher, IrisWortmann, AndreasWiesmayr, Bianca2024-02-192024-02-192024978-3-88579-737-1https://dl.gi.de/handle/20.500.12116/43589enAutomated DebuggingTestingBehavior ExplanationSemantic DebuggingText/Conference Paper10.18420/sw2024_441617-5468